Update INSTALL.txt

added php5-json