This adds the --proxy switch to generate headers like go into libc/src/hdr/foo-proxy.h instead of public headers.