minor update to application track config in QF_BV
More proof support for CASC : include skolemization
Minor fixes, spelling etc.
dos2unix-convert some sources.
get-glpk-cut-log script, and configure code.
Minor fixes to get-abc script and configure stuff.
clean up some compiler warnings on 32-bit
version preparation