add postscript backend (not functional yet)
fix various bugs in pdf backend, especially when mupdf thinks that
a non PDF file is a damaged one.
formatting