[clib] Deprecate string functions available in OCaml 4.05

- `CString.strip -> String.trim`
- `CString.split -> String.split_on_char`

As noted by @ppedrot there are some small differences on semantics:

> OCaml's `trim` also takes line feeds (LF) into account. Similarly,
> OCaml's `split` never returns an empty list whereas Coq's `split`
> does on the empty string.

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/envars.ml b/lib/envars.ml
index cf76b6ebc8..724a3dddc7 100644
--- a/lib/envars.ml
+++ b/lib/envars.ml
@@ -34,7 +34,7 @@ let home ~warn =
 
 let path_to_list p =
   let sep = if String.equal Sys.os_type "Win32" then ';' else ':' in
-    String.split sep p
+    String.split_on_char sep p
 
 let expand_path_macros ~warn s =
   let rec expand_atom s i =