Fixed #9: Added Travis CI badge.