Update INSTALL.md
Update INSTALL.md
Merge branch 'master' of ssh://review/mediawiki/extensions/SemanticMediaWiki