Byron ticked ledger state: also add tip block number

We need this to implement the translation of the last ticked Byron ledger state
to the first Shelley state.

The ticked Shelley ledger state already contains the tip block number just as
the unticked Shelley ledger state, so this is just making something consistent
across Byron and Shelley.

ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Ledger.hs

@@ -162,7 +162,8 @@ getByronTip state =
 
 -- | The ticked Byron ledger state
 data instance Ticked (LedgerState ByronBlock) = TickedByronLedgerState {
-      tickedByronLedgerState        :: !CC.ChainValidationState
+      untickedByronLedgerTipBlockNo :: !(WithOrigin BlockNo)
+    , tickedByronLedgerState        :: !CC.ChainValidationState
     , untickedByronLedgerTransition :: !ByronTransition
     }
   deriving (Generic, NoThunks)
@@ -175,7 +176,8 @@ instance IsLedger (LedgerState ByronBlock) where
 
   applyChainTickLedgerResult cfg slotNo ByronLedgerState{..} = pureLedgerResult $
       TickedByronLedgerState {
-          tickedByronLedgerState =
+          untickedByronLedgerTipBlockNo = byronLedgerTipBlockNo
+        , tickedByronLedgerState =
             CC.applyChainTick cfg (toByronSlotNo slotNo) byronLedgerState
         , untickedByronLedgerTransition =
             byronLedgerTransition