Add Travis CI config and badge