adding comments on C codegen

Expanding notes to include additional detail mentioned in post https://groups.google.com/forum/#!msg/idris-lang/9WTV1zlUZJM/C6DVHaSdlcYJ