To avoid confusion, permit --enable-staticbinary as an alias for --enable-static-binary.
Update smt_engine.cpp

Code changed but comment didn't, might as well get rid of it.