Merge branch 'use-lia' into 'master'

Use lia to avoid omega deprecation warnings

Closes #319

See merge request !445
2 jobs for master in 19 minutes and 36 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-stdpp.dev-coq.8.11.1 #70834
fp

00:09:55

passed build-stdpp.dev-coq.dev #70835
fp

00:19:36