Updated Solver.cc to allow polarity to be selected through randomness

There is a new option rnd-pol which the user can set.  0 = always
false, 1 = always true, anything in between is the percentage of it
being chosen true.