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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bender-up-to-date	5s
lint-license	8s
pylint	33s
verible-lint	41s
	1m 27s