Change default db type from mysql to mysqli

The mysql extension is deprecated as of PHP 5.5.0 [1] so we use mysqli
as our default database type.

Commit includes relevant changes in installer, admin checks and
documentation (admin guide).

[1] http://php.net/intro.mysql