Vagrant: DevStack restart instructions

https://github.com/zerovm/zerocloud/pull/115 should merge first for a clean diff.