Write header to OPCODE-generated files. Write OPCODE_proto.h. (awk script)