Proto: Enhance AI Coding with Protocol Buffer Definitions