Travis: setup input file for our test

This is now ready to be merged.

TODO:

* [x] properly install all dependencies, so that `setrun.py` generates the input file for our test.