Fix scripts to translate the protocol for the folder names
Some folders were moved (like Proto_alpha
-> Proto_J
). Fix the three translation scripts:
- https://gitlab.com/formal-land/coq-tezos-of-ocaml/-/blob/master/scripts/j/import.rb
- https://gitlab.com/formal-land/coq-tezos-of-ocaml/-/blob/master/scripts/k/import.rb
- https://gitlab.com/formal-land/coq-tezos-of-ocaml/-/blob/master/scripts/alpha/import.rb
so that the generated code is equal to what is currently there in the Git repository.