Add Glossary and Table of Contents to links header in docs

This might be too much in the header, but let's get it online and try it out.