Fix .travis.sh after MediaWiki github mirror repo rename