Add upper bound on mtime

Gbury · Gbury · commit 113b50117f9e · 2023-01-03T16:06:24.000+01:00
Mtime 2.0.0 is not yet available on the windows repo (and thus
neither on the windows CI), so limiting the compatibility for now.
diff --git a/dolmen_bin.opam b/dolmen_bin.opam
@@ -19,7 +19,7 @@ depends: [
   "fmt"
   "cmdliner" { >= "1.1.0" }
   "pp_loc" { >= "2.0.0" }
-  "mtime" {>= "1.1.0"}
+  "mtime" {>= "1.1.0" & < "2.0.0" }
 # These two are currently vendored
 #  "progress"
 #  "terminal"
diff --git a/vendor/progress b/vendor/progress
@@ -1 +1 @@
-Subproject commit 019cc6ae1622535ce260694f19eaaec3a360ad27
+Subproject commit 0be9e047845b700a59262b77a1725d49591a010e
