Add a mini `build_docs` job to repos

[ddundo]

It would be really nice if each repo had a build_docs job that could be triggered to build its part of the docs

Originally posted by @jwallwork23 in #52 (comment)

[jwallwork23]

At this point it would be a good idea to use git submodule in the docs repo. Related to #22.