Implemented option "multi" for parallel solving (via python script).
Fixed bugs on oll and pmres in case of weighted problems.
Implemented handler of terminating signals.
Added missing files.