Allegra/Mary CDDLs: make transaction_body field 3 optional

Author: jasagredo

eras/allegra/impl/cddl-files/allegra.cddl

@@ -55,7 +55,7 @@ transaction_body =
   {   0 : set<transaction_input>   
   ,   1 : [* transaction_output]
   ,   2 : coin                      
-  ,   3 : uint                      
+  , ? 3 : uint                      
   , ? 4 : [* certificate]       
   , ? 5 : withdrawals               
   , ? 6 : update                    

eras/allegra/impl/testlib/Test/Cardano/Ledger/Allegra/CDDL.hs

@@ -87,7 +87,7 @@ transaction_body =
         [ idx 0 ==> set transaction_input
         , idx 1 ==> arr [0 <+ a transaction_output]
         , idx 2 ==> coin
-        , idx 3 ==> VUInt
+        , opt (idx 3 ==> VUInt)
         , opt (idx 4 ==> arr [0 <+ a certificate])
         , opt (idx 5 ==> withdrawals)
         , opt (idx 6 ==> update)

eras/mary/impl/cddl-files/mary.cddl

@@ -54,7 +54,7 @@ transaction_body =
   {   0 : set<transaction_input>   
   ,   1 : [* transaction_output]
   ,   2 : coin                      
-  ,   3 : uint                      
+  , ? 3 : uint                      
   , ? 4 : [* certificate]       
   , ? 5 : withdrawals               
   , ? 6 : update                    

eras/mary/impl/testlib/Test/Cardano/Ledger/Mary/CDDL.hs

@@ -49,7 +49,7 @@ transaction_body =
       [ idx 0 ==> set transaction_input
       , idx 1 ==> arr [0 <+ a transaction_output]
       , idx 2 ==> coin
-      , idx 3 ==> VUInt
+      , opt (idx 3 ==> VUInt)
       , opt (idx 4 ==> arr [0 <+ a certificate])
       , opt (idx 5 ==> withdrawals)
       , opt (idx 6 ==> update)