Change of github url from git:// to http://
fix some Vagrant config