Add configuration for Travis CI
Add a Travis CI badge