Fix up __doc__.

The file __doc__ is used as part of the help text for the command-line
option parser.  Since the last commit, the __doc__ value set
implicitly by the Python interpreter is no longer correct.  So set it
explicitly to the docstring that we want.