Need to include deflate.h in EXTRA_DIST so that it gets included in
the tarball. I don't know whether we actually need it in INTGGSOURCES,
but there are other header files listed there so it seems unlikely to
cause harm.