feat(solver/context.cc): Support more options in smt2 file
feat(solver/context.cc): Support more options in smt2 file

:local-optimization
:worklist-fixpoint
:produce-models

dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4