Changes from CPAchecker 2.0 to CPAchecker 2.1
---------------------------------------------
* Interpolation-Sequence based Model Checking (ISMC)  
  A new reachability-safety analysis (config `-bmc-interpolationSequence`),
  which adopts a verification algorithm for hardware
  proposed by Yakir Vizel and Orna Grumberg
  (cf. ["Interpolation-sequence based model checking", Proc. FMCAD, 2009](https://doi.org/10.1109/FMCAD.2009.5351148))
  to software, has been added to CPAchecker.

* Self-contained HTML reports  
  The [HTML report](https://cpachecker.sosy-lab.org/counterexample-report/ErrorPath.0.html)
  that CPAchecker creates for the analysis result
  (for example showing the counterexample)
  now is a fully self contained file with all dependencies bundled.
  This means one does no longer need Internet access to open one.