update-devenv.sh fixes

I fixed and improved the script so it can gracefully update the current vagrant's image.