latex backend: full path in heading labels#1332

jonludlam merged 2 commits intoocaml:masterocaml/odoc:masterfrom

Octachron:odoc_latex_section_label_fixOctachron/odoc:odoc_latex_section_label_fixCopy head branch name to clipboard