Mkdocs Multirepo Plugin

Build documentation in multiple repos into one site.