added configuration for Travis CI