Merged in changes from development repository:

   In manual:

      Added text about the `--gpg-key-id' and `--gpg-passphrase' command-line options.
      Not finished with this.
Initial revision in this repository.
Updated generated files.