Split favicon off from the logo — new docs/assets/favicon.svg (purple gradient lambda), mkdocs favicon key repointed to it; logo unchanged. Signed-off-by: disqualifier <dev@disqualifier.me>