tosyntax: interleave.fsi: use full module path, for some reason
tosyntax: interleave.fsi: use full module path, for some reason

I couldn't get it to bootstrap AND compiler in F# any other way....

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