Update header information in Vagrantfile
Remove machine_exists check

This was only necessary when there were issues with mounting and unmounting drives. Now that permissions are assigned by UID and GID, this is no longer used