CPAchecker Release 2.4 (unix)

Changes from CPAchecker 2.3.1 to CPAchecker 2.4 Debian/Ubuntu package and APT repositoryCPAchecker is now available as an easy-to-install .deb package for Debian/Ubuntu via the SoSy-Lab APT repository. Follow the link for usage instructions. Container images on Docker HubThe official container images of CPAchecker are now also available as sosylab/cpachecker on Docker Hub. Executables of CPAchecker renamedInstead of scripts/cpa.sh and scripts/cpa.bat we now provide bin/cpachecker and bin/cpachecker.bat as the main executables of CPAchecker. The new executables are drop-in replacements. The old executables are deprecated but will continue to exist at least until the next major version of CPAchecker. Similarly, we now provide bin/cpa-witness2test for CPA-witness2test. Command-line arguments of CPAchecker renamedAll arguments of CPAchecker now follow standard conventions and start with two dashes ("--") for long arguments, e.g., --default. Some arguments have also been renamed slightly, or have been removed due to them being rarely used. As before, doc/Configuration.md documents the supported arguments. Previous command-line arguments with a single dash are deprecated, but continue to work, and CPAchecker will print warning messages that inform about their recommended replacements.