Coverage report tuning

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