Integrate Jenkins CI

TUD has a Jenkins CI server running that we could use to run our tests on multiple nodes of their cluster. This will cover a whole class of problems that are not covered by our current setup, as demonstrated in #374. Opening this issue to track progress.