Add badge to README, updated travis-ci config