Upgrade to coverage 3.7.1 and have it auto-build itself on first use.

third_party/coverage-3.7.1/coverage/htmlfiles/coverage_html.js

 // Coverage.py HTML report browser code.
 /*jslint browser: true, sloppy: true, vars: true, plusplus: true, maxerr: 50, indent: 4 */
 /*global coverage: true, document, window, $ */
 
 coverage = {};
 
 // Find all the elements with shortkey_* class, and use them to assign a shotrtcut key.
 coverage.assign_shortkeys = function () {
     $("*[class*='shortkey_']").each(function (i, e) {
         $.each($(e).attr("class").split(" "), function (i, c) {
@@ skipping 356 matching lines @@
     }
 };
 
 coverage.scroll_window = function (to_pos) {
     $("html,body").animate({scrollTop: to_pos}, 200);
 };
 
 coverage.finish_scrolling = function () {
     $("html,body").stop(true, true);
 };