articles/pgpkeys: Add a workaround to fix the 1h build time for PDF.
asciidoctor-pdf has issues with important number of lines leading to
very long build time (more than 1 hour). The PGP keys are source of
huge number of lines. As a quick workaround, a wrong path is used for
the keys.