Fix running from EXE on Windows, center app on CheerpJ, optimize wind…

…ow size

Version bump to 0.86 (gradle)

Version bump (Gradle)

Version bump

Version bump (snapcraft)

Version bump in Gradle

Update old files in .snap folder

Read package version from ../wprover/Version.java

Update packager

Fix .gv output