Vagrant: use docker as the default provider