add Travis CI config & badge