get_doc_string_from_file opens the documentation file f
and searches it for topic t. It returns the documentation for
t upon success, otherwise it returns NULL upon error.
It will fail if f could not be opened or does not contain
documentation for the topic.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}