Further coverage report tuning

Tweaks to the included and omitted files used in the coverage report for
coveralls.