pretty-print scan and depresolve output (fixes #6)