Use MySQL rather than local files for PHP sessions

See http://www.mediawiki.org/wiki/Manual%3a%24wgSessionHandler for (sparse) details.