vagrant-dev-env: Only checkout repository if not mounted via Vagrant