We need to kill dirmngr, otherwise it might linger around and
consume memory. Which can become a problem on servers with many
lists, as dirmngr uses way more memory than the agent.