travis-ci: add php5-dev