taktwerk-http v0.8.0 — HTTP/JSON and server-sent events API of the taktwerk engine, and its web UI