use a safer default name for virtualbox

if the same vagrantfile is up'd in the same second in the same basedir
this caused a conflict,

most notably, all jenkins jobs sit in a 'workspace' directory, which
breaks if more than one job launches from the same trigger.
Merge pull request #2482 from andyfowler/safer-vbox-names

core: safer default VM names for Virtualbox