Get the python "warc extractor" from here. WARC just seems to be such an unnecessary and complicated format. Why not use tar, rar, zip etc...?
./warc-extractor.py -dump content \!http:content-type:pdf yourfile.warc
./warc-extractor.py -dump content \!http:content-type:pdf