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