Travis

Add a configuration for Travis CI.