[aorai] remove completely obsolete mechanism for generating C files

If you want to see instrumented code use `-then-last -print [-ocode file.c]`
like everyone else.

Also properly indent some files