Generate html site from asciidoc files.
Fix unrecognized source languages of Source-highlight.
Update LICENCE and various fixes.