Suggest a safe workaround for installing Vagrant.

While we're at it, provide code that can be copy-pasted for the "add
sources/pinning" instructions, to make the setup even easier. We also
fix the sections so it's clearer what should be done for each
supported Debian release.