Code

coverage.sh: Added a helper script to generate HTML coverage reports.