Update install-semantic-mediawiki.py