Add explicit "--provider=virtualbox" to vagrant up

This is not necessarily needed since VirtualBox is currently the default Vagrant provider,
however I believe it makes things clearer.

Signed-off-by: Gianpaolo Macario <gmacario@gmail.com>