Reduce cost of cloning MediaWiki for the builds that just need master
Merge pull request #9 from SemanticMediaWiki/optimizesetup

Reduce cost of cloning MediaWiki for the builds that just need master