removing pesky production for ".source" files in the dependency analysis output
removing pesky production for ".source" files in the dependency analysis output

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar