set some one-letter commandline args

Problem with --format and --file, though.  THe former is not a great
name, anyway.  Maybe --style??