A portable Python development environment with Vagrant