clean up .depend in the src/ directory when doing make clean
clean up .depend in the src/ directory when doing make clean

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