A tool for dumping PGP keys as JSON - View it on GitHub