iiCheckTypes, p3
iiExprArith*Tab
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
fix: incomplete factorization
fix: incomplete factorization in some random cases
chg: I think that should not go here
chg: new test
Syzextra: fixed / updated option(prot) output
Merge pull request #665 from mmklee/incomplete_fac

Incomplete fac
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese