build-pdf: rename archive result

Some folks were confused when the result simply said "pdf". This has been changed to "result.pdf" so it is clear that they should click on that link to download the PDF.