vagrantfile and chef recipes for vncserver