Slight improvements to INSTRUCTIONS.md

I've validated the developer instructions by following them on a completely clean VM — some small tweaks were needed. I checked in the Vagrantfile I used as well in case it's of use to anyone else.