Change website's documentation URIs.

Currently those URIs are written as documentation/index.php?page=4 which
isn't that informative when the URI is bookmarked.

Redirect the user to e.g. index.php?topic=commandline_commands instead.
Allow website pages to change the title.

Handy when a documentation page gets bookmarked.