sympy.interactive -- rework init_printing to support different stringifiers