Update the `lgtunit` tool documentation with information on backend Prolog compiler support for writing tests with timeout limits