Replaces uses of mysql with mysqli

Migration mostly done with help of automated tool provided by Oracle.

See: https://wikis.oracle.com/display/mysql/Converting+to+MySQLi

(Accidentally created this branch relative to my earlier Docker branch... Oh well. Shouldn't hurt anything.)