There are a lot of tests for pyretic but it's unclear how they should be run. Using a test runner like nosetests fails and there is no clear tests.py file which can be run (and executes tests). Could you please document how the tests are to be run? Additionally, it might be cool to have a travis automatic build which can be used to evaluate pull requests.