Add php5-dev extension and change "sudo: true" into "sudo: yes"