Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  637d9d615d6e4a140eed5054fa0901cc5dcf7f19

update INSTALL instructions

Change-Id: I22be97b87aa593221e25d0891d2b317dbd3ce5f9