add protos for github realtime (#3911)

GitHub Realtime doesn't exist yet, but developing it without these is a real pain, and we're going (probably) going to need them eventually, so here they are. (If we don't end up needing them, we can just remove them.)