hyperlinked tor manuals

the tor manual pages on the website could be hyperlinked by configuration option, to make sending urls about specific configuration options easier.