[new release] binsec (0.4.1)
[new release] binsec (0.4.1)

CHANGES:

** Features

   - Reworked Backward Bounded Symbolic Execution
     (together with some [documentation](doc/bbsse/))

** Misc

   - Support native OCaml
     [bitwuzla binding](https://github.com/bitwuzla/ocaml-bitwuzla)

** Bug

   - Fix an issue with 64-bit kernel virtual addresses

astrada/opam-repository,Leonidas-from-XIV/opam-repository,nberth/opam-repository,ocaml/opam-repository,mjambon/opam-repository,c-cube/opam-repository,djs55/opam-repository,pirbo/opam-repository,toots/opam-repository,mjambon/opam-repository,Leonidas-from-XIV/opam-repository,jhwoodyatt/opam-repository,codinuum/opam-repository,emillon/opam-repository,hannesm/opam-repository,c-cube/opam-repository,yallop/opam-repository,andersfugmann/opam-repository,nberth/opam-repository,Chris00/opam-repository,pirbo/opam-repository,Chris00/opam-repository,kkirstein/opam-repository,ocaml/opam-repository,jhwoodyatt/opam-repository,yallop/opam-repository,hannesm/opam-repository,codinuum/opam-repository,toots/opam-repository,andersfugmann/opam-repository,emillon/opam-repository,fpottier/opam-repository,astrada/opam-repository,pqwy/opam-repository,kkirstein/opam-repository,fpottier/opam-repository,pqwy/opam-repository,djs55/opam-repository