begin smt translation
translation from il to smt, and inter process communication for sat solver and optimizer
ipc and smt executes
using bv functions
bug fixes
changed way non-width numbers are provided
location of SMT solver in smt_opt; added concatls command to translate_smt.py
added concatls
optimize does not default to low level compiling
Merge branch 'int-opt'
update optimize file