Promote getting to 10k GitHub stars in server log and client prompt

Ask users to give MariaDB a star by having an extra line in the MariaDB
client prompt:

    Welcome to the MariaDB monitor.  Commands end with ; or \g.
    Your MariaDB connection id is 33
    Server version: 12.2.0-MariaDB-1:12.2.0 mariadb.org binary distribution

    Copyright (c) 2000, 2018, Oracle, MariaDB Corporation Ab and others.

    Please help get to 10k stars at https://github.com/MariaDB/Server
    Type 'help;' or '\h' for help. Type '\c' to clear the current input statement.

    MariaDB [(none)]>

Additionally, have this extra line in server logs:

    [Note] Please help get to 10k stars at https://github.com/MariaDB/server

This change is done in a way that it is easy to cherry-pick to older
releases, and the text can later be changed to promote something else
once MariaDB has surpassed MySQL in GitHub stars.

Author: ottok

client/mysql.cc

@@ -1344,6 +1344,8 @@ int main(int argc,char *argv[])
             mysql_thread_id(&mysql), server_version_string(&mysql));
     put_info((char*) glob_buffer.ptr(),INFO_INFO);
     put_info(ORACLE_WELCOME_COPYRIGHT_NOTICE("2000"), INFO_INFO);
+    put_info("Please help get to 10k stars at https://github.com/MariaDB/Server",
+             INFO_INFO);
   }
 
 #ifdef HAVE_READLINE

sql/mysqld.cc

@@ -5047,11 +5047,15 @@ static int init_server_components()
     Print source revision hash, as one of the first lines, if not the
     first in error log, for troubleshooting and debugging purposes
   */
-  if (!opt_help)
+  if (!opt_help) {
     sql_print_information("Starting MariaDB %s source revision %s "
                           "server_uid %s as process %lu",
                           server_version, SOURCE_REVISION, server_uid,
                           (ulong) getpid());
+    sql_print_information("Please help get to 10k stars at "
+                          "https://github.com/MariaDB/server");
+  }
+
 
 #ifdef WITH_PERFSCHEMA_STORAGE_ENGINE
   /*