Change box to holms/debian80

This is a Debian Jessie x64 for VirtualBox, with no puppet or chef.
See https://vagrantcloud.com/holms/debian80

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