Update: add new protocol file Origination_nonce_repr.v

An update to the OCaml code of the protocol which changed (moved) one proof. I think the changes are mainly due to this MR: tezos/tezos!3928 (merged)