add Travis-CI badge to README