This clarifies that the tool is solver independent.
veriT is now mentioned in the readme.

- implement a simple heuristic
- and an MPI based optimizer
  who seems very slow on real world problems

- Add an unsolved benchmark
- Add a bad strategy

* the recursive call was not appropiate
* wait time was not setup correctly for the first strategy

This is more consistent with the other tools

The data will be used in the HOWTO/tutorial.  It might not yet
be appropiate, and hence change in the future.

I think this did not work before.

Most of the work is done, but the GridTPT output is not done yet.

- Add tool to convert CSV schedules to scripts
- Use Jinja2 templating system to do this
- Add Jinja2 as dependency to setup.py and shell.nix
- Mark old options to print full schedule as obsolete
- Fix small typo in optimization tool

- Use ; as a delimiter for parsing CSV results
- Use a header when writing and parsing CSV schedules