fundef_afterqed: removed unused config, added do_print flag; print_consts only for external specifications;
fundef_afterqed: removed unused config, added do_print flag;
print_consts only for external specifications;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle