Download mediawiki instead of storing it in the git repo

Update to mediawiki 1.9.5 and install it by downloading the upstream release tarball and exploding it into the php directory.