tracing facilities for the code generator preprocessor

tuned interface

corrected handled exception

proper trading of variables; more appropriate ML variable names

modernized

jedit_completion_immediate is enabled by default: let all users participate in slightly more ambitious symbol insertion;

removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);

updated NEWS -- removed material that is already in the manual;

merged

misc tuning;