ide: (3/8) Make deps_of_our_file to return a list of tasks
ide: (3/8) Make deps_of_our_file to return a list of tasks

That list includes loading prims and if needed loading the interface of the
current file.

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