Bug 1478711 - Vagrant: Open port 8001 for sphinx-autobuild
Bug 1478711 - Vagrant: Open port 8001 for sphinx-autobuild

Since the port was changed in #3813 from 8000 to 8001 (presumably so
it didn't clash with Virtualbox when run directly from the guest),
however this broke running the docs from inside the VM (for those
who don't want to install the docs dependencies on the host).

KWierso/treeherder,KWierso/treeherder,edmorley/treeherder,KWierso/treeherder,KWierso/treeherder,edmorley/treeherder,edmorley/treeherder,edmorley/treeherder