Generate protocol-a.json

This is basically the same info as in protocol-a-full.txt, but in a
format that is easier for a program to parse.  It is less easy for a
human to read, though.