Add boolalg.picosat.iter_solve function

The "iter_solve" function is implemented as a Python generator type.