tweak config for coveralls.io -- which files should be measured