travis-ci: Configuration for Travis CI