CHANGELOG (p.goblint.1.1.1.doc.CHANGELOG)

Added lower bounds to dependencies (zarith, ocaml-monadic, sha, conf-gmp).
Fixed ounit2 library for unit tests.
Disabled kernel regression tests when linux-headers couldn't be downloaded (e.g. in opam-repository opam-ci).
Fixed dune-site in opam install by requiring dune 2.9.1.

Goblint "fat" release containing 4 years of development. This version is functionally equivalent to Goblint in SV-COMP 2022.