slicc: have a central mechanism for creating a code_formatter.
This makes it easier to add global variables like protocol