Documentation updates for version 1.13.
Additional documentation updates for version 1.13.
Updated code coverage sample report with JMockit Coverage version 1.13.