Improve TravisCI MediaWiki setup time