According to `nedbat` on IRC, `coverage.py` version 4.0 adds the [capability to write plugins](http://coverage.readthedocs.org/en/coverage-4.0.3/plugins.html). We should totally do this.