quick shell script to half automate updating a vagrant box, saves a lot of time when killing and start vagrant boxes all the time.