Travis

If you're interested in continuous integration, you can go to https://travis-ci.org/profile, sign in with github, turn on integration for andrejbauer/tt, and then merge this pull request.