feat(simple-bmc): init code
src(tools/icp_vis): remove basic/error.ml
refactor(dsolvers/icp_solver): cleanup callODESolver
feat(dsolvers/util/logger): change default verbosity level to INFO