DBManager: Support MariaDB.

MariaDB has an additional virtual read-only database "performance_schema".
Don't attempt to repair any tables in it.