doc: Document how to manually shut down gpg-agent.
* doc/gpg-agent.texi: document "gpgconf --kill gpg-agent" for manual agent termination.
This was requested in a side-comment in https://bugs.debian.org/840669
- Signed-off-by: Daniel Kahn Gillmor <dkg@fifthhorseman.net>