Update JPicosat-Interface to the new interface used since picosat-953.
Updated picosat libraries for OSX and Linux accordingly. TODO: Updated
libraries for Windows.