Docs site: build and publish from main and tags

[brothercorvo]

Goals:

• Static docs (Redoc or MkDocs) published on GH Pages.
• Versioned on tags.
  Acceptance:
• /docs live with tag switcher.