some enhancements of the coverage generation script
docu: extending/fixing/cleaning docu for upcoming release
Merge pull request #80 from torbjoernk/feature/cleanup

LGTM.