adding dump_headers.py