Changing the mode of run_vagrant

I patched this file and lost the +x