feat(opensmt/egraph/EgraphStore.C): add simplification

 - x ^ 1 = x
 - x + 0 = x
 - 0 + x = x
 - x - 0 = x
 - 0 - x = -x
fix(src/CMakeLists.txt): change capd configure option