* have the coverage script be a bit more verbose in the jenkins invocation, and actually execute that target from build.xml