HTML theme: switch to haiku

- Switch to haiku theme for HTML output
- Only show logo in header
- Add logo source SVG file and target PNG file

Signed-off-by: Olivier Carrère <carrereo@gmail.com>
Acked-by: Angela Cristina <acristina@redaction-technique.org>