add php5-dev to Travis CI