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.
Merge pull request #4 from amato-gianluca/weboutput


Add support for HTML output in SLIL target.