chore: remove docs action

[johannesvedder]

The github action used to create a documentation of all packages is making it difficult to merge branches because of the auto-commit function. It will be helpful to move the documentation to a separate repository, although we might lose the benefit of having multiple documentation versions for each branch.

If the documentation is not used at the moment by anyone, we can move this to an issue.

[github-actions]

🦙 MegaLinter status: ✅ SUCCESS

Descriptor	Linter	Files	Fixed	Errors	Elapsed time
✅ ACTION	actionlint	2		0	0.01s
✅ REPOSITORY	git_diff	yes		no	0.05s

See detailed report in MegaLinter reports
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

MegaLinter is graciously provided by

[johannesvedder]

#624