CoqInE: fix bug regarding constructors with let ins
Translation is now outputted on the fly, avoiding huge consumption of memory