Support istanbul coverage output

This should also work "out of the box" with all istanbul-based JS coverage tools and plugins. The exception seems to be [karma-coverage](http://karma-runner.github.io/0.8/config/coverage.html) whose default coverage reporter needs to be changed to "text-summary".