Use the non-deprecated version of a protobuf API.#727

pgoodman wants to merge 2 commits intomasterlifting-bits/mcsema:masterfrom

change_use_of_deprecated_proto_apilifting-bits/mcsema:change_use_of_deprecated_proto_apiCopy head branch name to clipboard