Minor doc updates (Docker & Vagrant)