differentiator: visitor-print: elide multiplication signs if possible.
differentiator: main: add "really quiet" mode and output switch.