Support multiple providers: virtualbox, docker

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