Support MariaDB on Linux

Debian and Ubuntu Linux at least now ship MariaDB as the default instead of MySQL. I've recently installed v11.3 on Debian 9.5 (Stretch) with MariaDB v10.1 and it seems to work correctly, but it would be nice for the installation instructions to indicate that MariaDB is a supported database.