Fix two bugs in auto-deps.
Fix two bugs in auto-deps.

* Filter include directories (so that you can use fstar from within the lib
  directory).
* Print the dependencies of all nodes in the graph for the make format.

MallabaevAzamat/FStar,MallabaevAzamat/FStar,hoheinzollern/FStar,hoheinzollern/FStar,YaccConstructor/FStar,hoheinzollern/FStar,A-Manning/FStar,FStarLang/FStar,YaccConstructor/FStar,hoheinzollern/FStar,FStarLang/FStar,YaccConstructor/FStar,MallabaevAzamat/FStar,A-Manning/FStar,YaccConstructor/FStar,FStarLang/FStar,A-Manning/FStar,MallabaevAzamat/FStar