Enabling shape binary persistence without OCAF

The fix moves BinTools to TKBRep from TKBin.

In itself, BinTools provides binary persistence of topology and geometry, and is similar to BRepTools which provides textual persistence.
Although currently it is only used in OCAF binary persistence, binary shape persistence can be useful for OCAF-less user applications.

The increased file size of TKBRep should be negligible, approximately ~100KB in release mode.

From architectural standpoint BRepTools and BinTools would deserve a refactoring and having a common writer and two different formatters (text and binary), thus following the Builder pattern. Same for reader & parsers. This could reduce code duplication and size. But this is beyond this simple integration request just to put BinTools to TKBRep.