Put HTML titles into CMake.

This is file metadata that should be used in multiple places (<title> and the first <h1>); generate it programmatically.
Remove now-superfluous nav links from body.

This is now taken care of by ucampas in a sidebar.
Provide more doc generation options.

${HTML_OUTPUT} is where HTML documentation will be installed (by default, ${CMAKE_PREFIX}/share/doc/tesla/html).

${DOXYGEN_HTML} is where Doxygen HTML will be built. It can be useful to set this to e.g. the directory that Web content is served from. It defaults to the CMake build tree.

${DOXYGEN_MAN} is where man pages will be built. It defaults to the CMake build tree.
Update to TESLA's uconfig.txt.

Incorporate TESLA within the larger CTSRD website.