Document file formats; closes #29.

- Specify default command line options with [default: ...] instead of
  with *.