Port migrate function to proto K -> alpha
Currently, at the root of the folder https://gitlab.com/formal-land/coq-tezos-of-ocaml/-/tree/master/src/Proto_J_K there are migration functions from protocol J to K.
The goal of this task is to create a similar folder src/Proto_K_alpha
with migration functions from proto K to alpha. This task does not include porting the src/Proto_K_alpha/Proofs
or src/Proto_K_alpha/Simulations
folders.