make-official: Kill gpg-agent on exit.