Improve names of CPAchecker executable and scripts

This implements #632 (closed), in particular #632 (comment 1950468437).

Current state is that the main executables (cpa.sh, cpa.bat, cpa_witness2test.py) are renamed and moved. Further scripts are not yet touched.

Please test.