Favicon support

A web site icon (aka a "favicon", see [1]) can be specified for the
generated web page.

[1] https://en.wikipedia.org/wiki/Favicon

--- 18/7/13 GV