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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verible-lint	55s
pylint	32s
bender-up-to-date	9s
lint-license	7s
	1m 43s