Move Vagrant development tips to docs