Generalize my previous fix for -print-options.

Always print options that differ from their implicit default. At least
for simple option types.