Vagrantfile: some cleanup

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