FCS_TLSS_EXT.5 disallows session resumption for TLS 1.3 inconsistent with RFC 8446.

The second test for FCS_TLSS_EXT.5 in PKG_TLS_v2.0 is modified as follows, with green highlights and underlines indicating additions and red highlights with strikethroughs indicating deletions:

Test FCS_TLSS_EXT.5:2: For each supported versionTLS 1.2 and each supported resumption method for that version, the evaluator shall send a compliant client hello message supporting only the specific version and indicating support for the resumption method. The evaluator shall allow the TOE and test client to continue with the compliant handshake until resumption information is established but then cause a fatal error to terminate the session. The evaluator shall then send a new client hello in an attempt to resume the session with the resumption information provided and verify that the TSF does not resume the session, but instead either terminates the session or completes a full handshake, ignoring the resumption information.

[conditional] If TLS 1.3 is selected in FCS_TLSS_EXT.1.1, the evaluator shall allow the TOE and test client to complete a compliant handshake and resumption information is established. The evaluator shall modify a byte of the session ticket. The evaluator shall then attempt to resume the session using the altered session ticket and verify that the TSF does not resume the session, but instead either terminates the session or completes a full handshake, ignoring the resumption information.

See issue description.