[NTG-pdftex] pdftex snapshot

Hi, I uploaded another pdftex snapshot. Changes: ,-------- | - patch 335 by Heiko | | - the new didot patch by Bence | | - various cleaning-up patches from Hartmut | | - mapfile.c improved by Hartmut | | - pdfpkmode patch by Hartmut | | - microinterval patch by Taco | | - renamed some primitives: | pdfoptionpdfminorversion -> pdfminorversion | pdfoptionalwaysusepdfpagebox -> pdfforcepagebox | pdfoptionpdfinclusionerrorlevel -> pdfinclusionerrorlevel | | - moved all extensions in pdfxtex to pdftex | `-------- Thanh