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

**Project Overview: MariaDB - Promote getting to 10k GitHub stars** MariaDB - Promote getting to 10k GitHub stars is an open-source project that aims to help te