Moving VarData to a separate file
Re-organizing BinTri and literal stats
Change order of #include-s
Moving OTF hyper-bin to separate class & file

This makes things a lot cleaner I think. Also, the files are a lot more
readable now
propagateBinFirst() no longer needs Solver

Since the attachBin/NormalClause is virtual, so it will use Solver's
attach, which is good
Moving things around in memory-accounting