CSV changes

The change of output format for --csv discussed in #4, plus a new --suppress-invariant option and a few related issues. --suppress-invariant will avoid CSV "sections" without any numbers at all, just a header line.