Style fixes

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Use capital letters for short options that disable a feature

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Introduce batch, round-robin, and random scheduling strategy for execution.

The execution of benchmarks can now be influenced by choosing different schedulers on the command line.

Added command-line switch -s.
Moved complete termination handling into TerminationCheck.
Introduced RunScheduler class to define execution policy in subclass.

Closes #19.

Signed-off-by: Stefan Marr <git@stefan-marr.de>