Proto: fix name of encoding of round_overflow

Eugen Zalinescurequested to merge
nomadic-labs/tezos:eugenz@fix-round-overflow-encoding-name into master

The title says it all.

Merge request reports