add configuration for Travis CI