updated batch files (issue 15220)

[michelou]

Updated batch files to address issue 15220.

Testing was performed by crossing three parameters :

• targeting both the 3.1.3-RC4 distro and a locally generated 3.2.0-RC1-nightly build.
• targeting small Scala projects from my GitHub repository michelou/dotty-examples.
• running several kinds of build scripts which rely on those batch files, e.g. build.bat (batch file), Makefile (GNU Make), build.xml (Apache Ant) and pom.xml (Apache Maven).

NB. The changes published in this PR target both

• the main branch (aka. 3.2.0-xxx) and
• the 3.1.3 branch (see backport 15275).

and are limited to the dist/bin/ directory.

[michelou]

@anatoliykmetyuk I have two remarks :

• Can you take care of the merge operation into the 3.1.3 branch or should I create another PR against that branch ?
• Merge into the main branch should take place before June 1st, the planned date for release 3.2.0-RC1.

[bishabosha]

its ok there isn't a rush to do the backport as there will be 3.1.3-RC5

[anatoliykmetyuk]

Can you take care of the merge operation into the 3.1.3 branch or should I create another PR against that branch ?

I don't know the current procedure for those backports, @prolativ do you know anything about how it is done?

[prolativ]

@Kordyjan is doing the backports for this release