Configure Travis for PHP