whonixcheck: improved output function