fix vagrantfile.dist. Added global VAGRANT_DEV_HOME. updated install scripts to use the global variable.