Add notes on known issues with the Prolog standard conformance tests