added official support for MariaDB to the guide

fixes #2955
more documentation adjustments to mention MariaDB

fixes #2955