rename array_tools -> array; update CHANGELOG

4 jobs for ci/ralf/dealloc in 15 minutes and 28 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #71864
fp
build-coq.8.10.2

00:08:45

passed #71863
fp-timing
build-coq.8.11.1

00:07:17

passed #71862
fp
build-coq.8.11.dev

00:15:28

passed #71865
fp
build-coq.8.9.1

00:08:15