Changed the C generator to use double-quotes for string literals

The C generator was producing invalid C, since string literals can't be single-quoted. This is now fixed. There's a problem with character literals, which should be single-quoted, since Python can't tell the difference between a char literal and a string literal, but I'd suggest that we have a special case for this and leave string literals as the default case.