Add <stdio_ext.h> with the seven APIs needed to have gnulib operate
without poking directly into the FILE structure.

Repeated testing, "nope, need a few more" feedback, and ok tb@