Some cleanup for SMT solvers modules
Bugfix wrong symbol printer for yices
Fix compilation of debug flags
Missing spaces in command line help