Add namespaces from Iris.

See the discussion at https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/116.
6 jobs for master in 14 minutes and 14 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #8725
fp
build-coq.8.6.0

00:02:38

passed #8724
fp
build-coq.8.6.1

00:02:38

passed #8723
fp
build-coq.8.7.0

00:02:36

passed #8722
fp
build-coq.8.7.1

00:02:30

passed #8721
fp-timing
build-coq.8.7.2

00:02:33

passed #8720
fp
build-coq.dev

00:14:14