Ticks in variable names result in ill-formed names in the generated C code

[edsko]

The Ziria syntax allows for variable names such as a', but C does not. We either to disallow this Ziria side (by modifying the parser) or C side (by modifying the code generator).