Include verbatim lines in the summary

At the command line, the -V <str> includes <str> in a line in the
summary. -V can be specified multiple times.

-V can be used, for example, to tag summaries with the corresponding
makeflow category.

long version: --verbatim-to-summary