Merge branch 'release-0.0.7' into develop
Some options were not available via reverse merge.
Slightly improved message for --wip runs.
Strict handling updated to work like wip handling.
Adding strict failing to the progress formatter.
Merge branch 'strict' into develop
Release of version 0.0.8.
Merge branch 'release-0.0.8'