added Travis CI badge and config