Travis / Adapt mediawiki GitHub download

https://github.com/wikimedia/mediawiki-core is now
https://github.com/wikimedia/mediawiki
Merge pull request #574 from SemanticMediaWiki/travis

Travis / Adapt mediawiki GitHub download