Add MariaDB JDBC driver JAR

MariaDB is available on Maven Central but not with suitable
coordinates.

A particular mirror was picked for downloads. This can be switched
later if necessary.

[#52325391]
Merge 52325391-mariadb to master

[#52325391]