Correct names for two tasks in `vagrant/Makefile`
Correct names for two tasks in `vagrant/Makefile`

nrejack/redi,indera/redi,nrejack/redi,KevinHanson/redi,KevinHanson/redi,indera/redi,KevinHanson/redi,nrejack/redi,nrejack/redi,KevinHanson/redi,nrejack/redi,indera/redi,indera/redi,KevinHanson/redi,KevinHanson/redi,indera/redi,nrejack/redi,KevinHanson/redi,indera/redi,nrejack/redi