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.
Add support for quantifier-specific instantiation levels.  Add option for setting inst-level 0 only for input terms.