plain text extraction

new option to extract the plain text of the pdf file(s)
new option to include header line into file
optionally include header information

small fixes