host of changes to get coverage to work + other fixes
add functionality to extract coverage in json
fetch coverage info asynchronously only when required
remember options
remember coverage status
fix length memory when reloading
only when url defined
coverage js
coverage js
sort jsonification
sort display of coverage data
add new point
add table title
sort termination; fix icarus issues
sort range of size axis
add read fmt x write fmt
fix icarus test_vpi
sort fit of tabs into window
fixup coherence of coverage buttons
make expanding tree easier