Extract gz compressed rcore files

Add support to extract gz compressed rich core files
Unless there is some particular reason for using literal 255 here when the buffer size is 4000, I'd suggest using:

snprintf(buf, sizeof buf, "gunzip -c \"%s\"", input_fn);