Add Travis CI badge (issue #24)