Fixed the cleanup_files function to be directory safe and changed file formate to add y,m, etc
Fixed the cleanup_files function to be directory safe and changed file formate to add y,m, etc

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