Prefer specifying the file name for command-line tools.

Revise the documentation such that the example invocations of
command-line tools feature passing a file on the command-line
rather than via standard input.