vagrantfile now provisions with files from github