Detect if there is a MariaDB Server running locally

detect if there is a MariaDB Server running locally;

• if not, launch it,
• and issue “Notification: MariaDB Server is installed in $xx-path (/home/robert/this/that) but not running; launching a MariaDB Server for testing purposes, and connecting to it”