removing php5-dev from travisci config