Add a config for Travis CI