Unifying and preparing for PBO work
Work on pbo
pbo serialization
Executing minisat+
PBO dependency solver starting to work