Set default value for sat call
Updated documentation of JPicosat
Removed old TODO
Refactoring: Picosat classes
Refactoring: JPicosat