Removed old distribution; added Travis CI tag.