Code cleaning, remove a useless function.
Add latex output. Still a Work in progress.
Minor fix, locate command now handles absolute names (such as "Mod.id")
Symbol creation now removes the "Top." at the beginning
of the string if it exists. Add_symbol now only
adds a symbol to the set.
Fix on hyperlinks, now correctly handles references to another file
Add stub for latex output
Improve latex.ml, still some minors fixes to do