Changed database from mysql to mariadb

The database of choice is now mariadb as opposed to mysql for
compatibility with different systems.