add author names to changelog

5 jobs for master in 16 minutes and 4 seconds (queued for 9 minutes and 35 seconds)
Status Job ID Name Coverage
  Build
passed build-coq.8.10.2 #79773
fp

00:05:31

passed build-coq.8.11.2 #79772
fp-timing

00:03:49

passed build-coq.8.12.dev #79771
fp

00:12:14

passed build-coq.8.8.2 #79775
fp

00:04:37

passed build-coq.8.9.1 #79774
fp

00:05:09