Update documentation of recent work on the `lgtunit` tool and on Prolog conformance unit tests