Add SimplifyExpressions command line option

Allow users to bypass ConstraintManager::simplifyExpr(ref<Expr>).
Rename command line option for equality substitutions
Merge pull request #129 from ahorn/master

Add SimplifyExpressions command line option