[dfmc,c-back-end] Clean up whitespace.
[dfmc,c-back-end] Print integers in a more readable way.
Merge pull request #768 from waywardmonkeys/c-back-end-print-integers-nicely

C back end print integers nicely

Looks fine, improves readability of generated code