fix options checkbox bugs

reset background updating interval dynamically
fix bug that made HAC_HTML.colorize depend on asianness_on being set to
true
slide in/out instead of fade in/out options DOM
set default nonzero spinbox values if colourisation or refresh is
disabled