Add favicon to html. Fix #240. Re #242.
Merge pull request #243 from dionyziz/favicon_html

Add favicon to html. Fix #240. Re #242.