Tool to extract stream objects from PDF files; decompressing them and giving appropriate extensions if possible