Vagrant 1.7.0 ditched VirtualBox as the static default provider

It does automatic detection.
improve HA demo docs on failover and recovery