New features:
- array abstract domain (--arrays)
- new loop unwinding for heap-manipulating programs (allows k-induction)
- rebase to CBMC 5.61
- removed necessity of the symbolic paths domain for heap analysis
- various bug fixes