dumppdf: support for extracting embedded files using the -E option