Cleaning up header files.

Quick bit of awk/bash to strip the intermediate files of all sections
between #line directives that did not come from the original source.
This keeps all of the macro expansions, but avoids the inclusion of
material from the headers.