hover_reply: the response to a textDocument/hover Request
Description
When hovering on a symbol, if it is a function, return its help text
if it exists in the current Workspace.
Usage
hover_reply(id, uri, workspace, document, position)
Arguments
id
a numeric, the id of the process that started the server
uri
a character, the path to a file as defined by RFC 3986
document
a character, the contents of the document