updated travis.yml, adding travis-specific php.ini