Add Travis CI configuration and badge