Release 0.4.0
CHANGES:
** Features
- New architecture support : ARMv7 Thumb mode
(requires [unisim_archisec](https://github.com/binsec/unisim_archisec))
- New architecture support : AARCH64
(requires [unisim_archisec](https://github.com/binsec/unisim_archisec))
- New architecture support : AMD64
(requires [unisim_archisec](https://github.com/binsec/unisim_archisec))
- Backward Bounded Symbolic Execution (experimental)
- Reworked Static Symbolic Execution
(together with some [documentation](doc/sse/))
** Dropped features (until rework)
- Static Abstract Interpretation
- Dynamic Symbolic Execution
** Misc
- Use Dune build system
- Remove several system dependencies (PIQI, ZMQ)