Add Travis CI badge

Also, try out Travis CI hooks for GitHub.