Changes to the coverage script to get it working in Jenkins
Merge pull request #1733 from daviddavis/jenkinscov

Changes to coverage script for Jenkins