Updated documentation (raw form for now); added assert_inbetween();
small improvement in GUI; skipping tests now possible; start for supporting controlled stops; improved layout of output.
Authored by: arjenmarkus 2010-10-22
Parent: [r305]
Child: [r307]