Virtualbox as default provider
Recommended fixes for boot2docker
More cpus and memory for virtualbox (0fc5fb3)