Generalize print support for SLIL target.

It put the grounds for printing annotations separately from code,
as in the planned html output.
Add support for HTML output in SLIL target.