make the standard logging facility stm aware
Export type_of_global_ref (useful for external users of glob files)
Feedback: LoadedFile + Goals

LoadedFile is generated when a .vo is loaded
Goals is generated when -feedback-goals
STM: export the observe function (useful for pide)
STM: add optionally takes the id of the new tip