Hyperlink on terminal

[shirok]

Some terminals are capable of rendering text with hyperlink. We can provide API in text.terminal to do that, and use it to attach a link to the online document of output of doc toplevel command.