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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-license	6s
bender-up-to-date	7s
pylint	34s
verible-lint	42s
	1m 29s