Retire the typedefgenerator plugin.

This patch retires the typedefgenerator plugin. 

It turns out that structs are never created in the frontend and the naming of structs lies deep inside toC in CodeGeneration. Hack around that problem for now by passing around an Options inside the reader monad that we have at our disposal anyways. Long term solution is to untangle the naming from the printing.