doc(*): update OCaml version dep (>=4.01.0)

[skip ci]
feat(realpaver/rp_constraint): add delta
fix(dsolver/icp_solver): remove get_var_split_delta1
fix: constraint_width
checkpoint