Update install.txt to mention php 5.4