Better vagrant file, with reference to it in the document