dev: travis-ci: Configuration files for Travis CI