Document compilation using ninja instead of gmake
Fix compiler warnings.
Fix CMakeLists for proper SoftBound dependency handling.