Use a docs branch for auto generated CLI docs

[willemneal]

There is no reason that the docs should block merging PRs. It slows down development wastes CI cycles. Instead it should be a CI action that runs on merges to main. This is very standard for projects with docs generated and github already supports it.

Originally posted by @willemneal in #1418 (review)