Updated README: selecting Java version
Updated README: selecting Java version

Added instructions how to select the Java version, which work for both compile and nativeCompile.
leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III