Support multiple providers: virtualbox, docker
Support multiple providers: virtualbox, docker

Signed-off-by: Gianpaolo Macario <d50c09b51e61901a1c5054dce86f92776c198faa@mentor.com>

gmacario/vagrant-ubuntu1404