Fix building docs on windows

[nik9000]

Right now we wrap the docs build script in a python script which manages a docker container. The container is difficult to manage because of all of the mounted paths and to handle things like ssh-forwarding. It almost certainly doesn't work on windows right now. We should make it work for all the folks that use windows to contribute.