Travis: use php in test runner