mention /dev/vdc in manual guide
fix header levels
mention use of VM consoles
improve HA demo docs on failover and recovery
Vagrant 1.7.0 ditched VirtualBox as the static default provider

It does automatic detection.