released pdsat_crypto 2.02

Iiostream -> Minisat namespace
* version of Minisat 2.2.0 release