[Doc] Missing href for (standard) theories
From a side-user point of view, who wants to refer to standard theory
foo.Bar, the only available
« stable » reference currently is
http://why3.lri.fr/stdlib/foo.html -- which indeed lacks some
Proposal: in why3-doc generator, add something like
#theory:<name> reference that one may points to, in addition to the currently
#<name>_<nnn> non-stable one.