Change Vagrant cookbook to a different repo, to get support for installing plugins as jenkins user