Travis config with php5-latest module