Changes from CPAchecker 1.9 to CPAchecker 1.9.1
-----------------------------------------------
CPAchecker 1.9.1 celebrates our SVN revision 33333,
which was recently committed. :-)
Thank you very much to all the contributors
who have made this possible (cf. Authors.txt for full list)!

Most important changes:

* Java 11 or later is required now.

* There is now an official Docker image for CPAchecker,
  cf. INSTALL.md for more details.

* CPAchecker now supports the changes made to the SV-Benchmarks repository
  in early 2020, e.g., the replacement of `__VERIFIER_error` and `__VERIFIER_assume`.

* Fix termination analysis, which did not work if CPAchecker was started
  from a different directory than its project directory.

* Witness export for multi-threaded programs is improved,
  such that a following validation performs faster.

* CPAchecker now supports verifying programs that make use of 128-bit types.