Fix --NOVERIFY on very clean installations, where no .vdfy files exist.  The Dafny include file scanner inadvertently generated dependencies on .vdfy files.
Fix --NOVERIFY on very clean installations, where no .vdfy files exist.  The Dafny include file scanner inadvertently generated dependencies on .vdfy files.

project-everest/vale,briangmilnes/vale,project-everest/vale,project-everest/vale,project-everest/vale,briangmilnes/vale,briangmilnes/vale,briangmilnes/vale