Kernel SDK: Add `MichelsonTicket` type
Following #6643 (closed), a new MichelsonTicket type will be needed in the Kernel SDK to generate proof using the newly Ticket constructor instead of the legacy Pair one.
Following #6643 (closed), a new MichelsonTicket type will be needed in the Kernel SDK to generate proof using the newly Ticket constructor instead of the legacy Pair one.