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