Support MariaDB

MariaDB is the community-developed fork of MySQL. It essentially works
as drop-in replacement for MySQL but uses a different JDBC driver,
which thus needs separate support classes (they are pretty much
identical to MySQL's though).