Now with decent command-line arguments.

(#nonius-3, #nonius-4) fixed
Added listing command-line options.
Slight reporter beautification.