Improve name of CPAchecker executable
Currently, we start CPAchecker with ./scripts/cpa.sh
It is common pratice to start tools with an executable that has the same name as the tool, i.e., CPAchecker.sh
or even just CPAchecker
would be easier to recognize by new users as the executable that will execute the tool. cpachecker
would be easier to type though.