README.md: added Travis CI badge