remove obsolete comments from Vagrantfile stolen from Docker folks