Do not produce a .cil.c file by default

Most people won't want to see this.  To save the .cil.c file use the
-keep-cil option.