Initial version of code coverage report.
It mimics Cobertura report so it can be used in Jenkins with
proper plugin. However, it's very basic with limited functionality.
--- a/reports/extensions.st Wed Jun 12 17:21:40 2013 +0200
+++ b/reports/extensions.st Tue Jun 25 20:25:22 2013 +0200
@@ -64,3 +64,4 @@
extensionsVersion_CVS
^ '$Header$'
! !
+