devon.bat sets wrong user PATH in Windows system environment settings

[hohwille]

I received feedback that people have been facing #954 again with latest release (2023.03.001).
After digging into devon.bat I discovered at least one part about setting the user PATH that IMHO was wrong from the start:

ide/scripts/src/main/resources/scripts/devon.bat

Line 138 in 39a248a

setx PATH "%%USERPROFILE%%\scripts;"

If the user PATH is actually empty for reason, then windows behaves such that it sets the PATH to the system PATH.
So if we run into this IF statement on proper purpose, we have to set PATH to %PATH%;%%USERPROFILE%%\scripts instead.
That is already one bug.

Another question is if #954 was never entirely fixed, is now back due to #1067, or whatever leads to the problem that a user PATH is set but gets lost after calling setup.bat or devon.bat.

[hohwille]

With PR #1072 I fix the first thing.
Further I added according output that we can now easily trace down the second thing.
If someone can reproduce the second problem earlier we can create a fix immediately but otherwise I would already release the current state to make progress and finally get this ugly windows CMD *.bat scripts stable again.