Add GUI version of vagrantfile: rename to use