New: PDF-Header & minor Bugfixes
- header in PDF-Files
- ability to change font, style and size
- page number and total pages in PDF
- color of lines configurable for header
- typo in question catalog 2013