Mirror (and bug-fixing fork) of CodeCover (http://codecover.org/ and http://sourceforge.net/projects/codecover/)