edits the vagrant file