Add note about possible standard conformance modes to the documentation of the Prolog unit tests