feat: use docgen-action for documentation generation#128

fmontesi merged 14 commits into

leanprover:mainleanprover/cslib:mainfrom

jessealama:use-docgen-actionjessealama/cslib:use-docgen-actionCopy head branch name to clipboard