instructions to run in parallel on a cluster:

the hostfile should look like this:
host1 slots=2
host2 slots=4
host3 slots=4
host4 slots=8
...

- git clone
- fix dependencies
- compile
- ./generate_commands.py > commands
- get hostfile
- check hostfile, delete entries which don't work
- get idlist
- ./sync
- delete old result and done files
- execute ./run on server