Cogent debugging support

[zilinc]

Currently under development as a thesis project.

Currently planed:

• map C code locations back to Cogent (and antiquoted C) source code
• map identifiers in the generated C code back to Cogent source code
• a debugger atop gdb which allows users to set breakpoints and step through Cogent expressions