We Documentation building should run in a container, to minimize fussing around with dependencies.

In addition, we should support building multiple documentation versions (stable releases, master) and switching between them.