Update Docker/Nix CI (#151)

* Update Docker CI

* Update Nix toolbox

* fix?

* Put `no-rock-yet` back

* Add mathcomp-* to master.rockPackages

* Replace mathcomp-boot, etc. with mathcomp again

* Remove stdlib

Merge pull request #140 from affeldt-aist/unstable_20250703

lemma from MathComp-Analysis' `unstable.v`

Merge pull request #128 from hoheinzollern/rocq_build

Rocq build

Merge pull request #124 from math-comp/finmap-mathcomp-240

Update opam dependencies

Merge pull request #111 from proux01/coq819

[CI] Add Coq 8.19

Merge pull request #84 from affeldt-aist/hierarchy-builder

tentative port of `finmap.v` to HB

Merge pull request #99 from affeldt-aist/upd_ci_20220705

add mathcomp 1.16 to CI

Merge pull request #79 from math-comp/prep_release_1.5.1

Preparing next release

Merge pull request #67 from affeldt-aist/update_wrt_mathcomp_1.11

Update w.r.t. MathComp 1.11.0+beta1

compatibility with mathcomp-dev and lost with mathcomp < 1.9.0 (#64)

- compatibility with mathcomp-dev and lost with mathcomp < 1.9.0
+ updating opam dependencies
+ adding travis jobs