docs: Extend documentation + deploy with `mkdocs` #744

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verible-lint	43s
lint-license	6s
bender-up-to-date	6s
pylint	32s
	1m 27s