returns the Jextract version for a given Java language version
Returns the version of a given local installation, null if this is not installed