location of SMT solver in smt_opt; added concatls command to translate_smt.py