add simplification rule to make the NMSSM EWSB eqs. solvable
generalize StripSign to catch more cases

In the NMSSM we have Times[Rational[-1,2], xyz] which did not match
Times[_Integer,_].