missing glob info for notations

[gares]

https://coq.zulipchat.com/#narrow/stream/237868-Hierarchy-Builder-devs-.26-users/topic/glob.20file.20of.20.60short.60.20pragma.20with.20HB

[gares]

CC @yoshihiro503

[gares]

In order to fix this problem, one has to add here:

coq-elpi/src/coq_elpi_builtins.ml

Line 3151 in 069018b

let qname = Libnames.qualid_of_string (Id.to_string name) in

a call to Dumpglob, here an example inside Coq-Elpi (for definitions)

coq-elpi/src/coq_elpi_builtins.ml

Line 918 in 069018b

Dumpglob.dump_definition name true "var";

For abbreviations, this is what Coq prints:
https://github.com/coq/coq/blob/ff528cbf5b534c42896cd3297267e9ee2f9c37f2/vernac/vernacentries.ml#L1737