Add a docker helper script (#18)
Add a docker helper script (#18)

* Add a docker helper script

I still really dislike pasting stuff. I wrote this in Python because
everyone and their dogs have it on their machines and it's easy to
update and extend.

* Update container name

* Add nocache option to docker.py

* Update add manual 'build' option to Docker script

woofwoofinc/cargo-sphinx,woofwoofinc/cargo-sphinx