sanitize-header-list: add script for cleaning up
a file list of headers for importing into c_platform.py