Issue #293 Add HTML_FAVICON option to basis_add_sphinx_doc.
Issue #254 Use BASIS logo in .ico format as html_favicon.
Issue #254 Replace favicon.ico by one of size 256x256.