Add support for HTML output in Random analysis.
Add support for HTML output in SLIL target.
Merge pull request #3 from amato-gianluca/weboutput

Add support for HTML output in SLIL.