We now include coverage stats in the web server results. (working toward #87)