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

MariaDB has proposed a pull request to add promotional messages encouraging users to star the MariaDB GitHub repository, aiming to reach 10,000 stars. The messages would appear in the MariaDB client prompt and server logs, and can be easily updated to promote other milestones once goals are achieved.