Add headers provided by gcc 4.7.2 to 'GNU libc' set
Discard header sets generated with a bad technique.  Preserve three as 'raw' input to the new technique.
New header-scanning method mostly complete; one OS scanned using it.