Update Travis CI build and add badge