RSPDefinitions: add separate template for serverSigned1

The field serverSigned1 is used in many messages, so it might be helpful
to add a separate template for it.

Change-Id: Ic50676ac2863173b72765afc44794a56d03413a5
Related: SYS#6824
diff --git a/library/euicc/SGP32Definitions_Templates.ttcn b/library/euicc/SGP32Definitions_Templates.ttcn
index 86c2055..98a2bba 100644
--- a/library/euicc/SGP32Definitions_Templates.ttcn
+++ b/library/euicc/SGP32Definitions_Templates.ttcn
@@ -28,12 +28,7 @@
 	initiateAuthenticationResponseEsipa := {
 		initiateAuthenticationOkEsipa := {
 			transactionId := *,
-			serverSigned1 := {
-				transactionId := ?,
-				euiccChallenge := euiccChallenge,
-				serverAddress := serverAddress,
-				serverChallenge := ?
-			},
+			serverSigned1 := tr_serverSigned1(euiccChallenge := euiccChallenge, serverAddress := serverAddress),
 			serverSignature1 := ?,
 			euiccCiPKIdToBeUsed := ?,
 			serverCertificate := ?,
@@ -49,12 +44,7 @@
 	initiateAuthenticationResponseEsipa := {
 		initiateAuthenticationOkEsipa := {
 			transactionId := omit,
-			serverSigned1 := {
-				transactionId := 'ABCDEF'O,
-				euiccChallenge := euiccChallenge,
-				serverAddress := "smdp.example.com",
-				serverChallenge := '01020304050607080910111213141516'O
-			},
+			serverSigned1 := ts_serverSigned1(euiccChallenge := euiccChallenge, serverAddress := serverAddress),
 			serverSignature1 := '01020304'O,
 			euiccCiPKIdToBeUsed := 'F54172BDF98A95D65CBEB88A38A1C11D800A85C3'O, /* NIST */
 			serverCertificate := ts_cert_s_sm_dpauth_nist,