Add time to html output
update html output with html5 collapsible sections (webkit only)
tweak html output font and colours
Reorganise tests, add test for xquery 3.0 syntax
add version number