Download mediawiki instead of storing it in the git repo
Merge pull request #6 from wshearn/upgrade_to_19_download

Download mediawiki instead of storing it in the git repo