Added a parallel version of the benchmarking script.
Merge branch 'master' of github.com:aeolus-project/zephyrus
Corrected a big hole in the constraint generation. Half of the resource constraints were not generated!