Revert "Python: renamed some scripts [ci skip]." This reverts commit e6600abb259efc3ca5d4e02e0edffa6402f040e6. Indeed, on Linux, the filename for our OpenCOR application is `OpenCOR` and so is the one for our application script, so... that can't work, hence we revert and are instead going to rename files when installing them.