Add Travis CI badge to README (although red...)