Travis / Adapt mediawiki GitHub download

https://github.com/wikimedia/mediawiki-core is now
https://github.com/wikimedia/mediawiki
#577