Update travis-CI script and add badge to README.