Put config.ssh.private_key_path in Vagrant examples

Using config.ssh.private_key_path obviates adding the private key to
the ssh command, and also fixes the issue with vagrant not being able
to tell when a Docker machine is up.
Tweak Vagrant documentation