Add disassembler to Dockerfile
Typo
Optimize converter

- Z3 error handler
- Easier debug
- Get sizes for llvm and z3
Add intType(128) to handle llvm MUL2
Add env on 32b for converter and qemu2.2
Forgot some memory
Clean logging for better output
Support trunc and zext in z3
Better coverage for LLVM->Z3
Cleaning solver and examples
Small fixes for gadget detection
Cover LLVM temp allocation out of BB
Prevent wild git commit and add hardcode rop binary
Handle xed_error for dump_intel
Fix wrong log define
Add reference counting to reduce memory leaks
Add const to remove warning
Refactor converter and prevent cloning for mem leak
Prevent cloning
Add context to target_cell for ref cleaning