completion: Add modules to completion table by increasing precedence
completion: Add modules to completion table by increasing precedence

This guarantees that the last recorded copy of multiple same-named
modules (which overrides previous ones in the tree) is the one that actually
will get loaded.

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