Returns a downloadable resource for the specified Jextract version, using the data from an optional file, falls back to the official distribution data