Documentation: fixed links between markdown files

Doxygen changed their way of naming HTML files converted from Markdown
in the 1.9.3 release, but linking to other Markdown files is now
supported natively. No need for links to .html and the \page macro at
the top of each Markdown page.