removed incorrectly placed tests
fix: len for sBuckets
fix: tr #664 (primdecSY)
fix tr #665 (pfister)
Syzextra: minor changes / treeoutput
Added sIsEmpty + fixed *Copy
Fix bucket reusage + cleanup in debug output
syzextra: Better tree output & prot
Added python2 script for translating the treeoutput for resolution computation from schreyer.lib/syzextra.so

NOTE: this code is originally from Burcin but recently extended by me
Syzextra: fixed / updated option(prot) output