update README

4 jobs for master in 12 minutes and 22 seconds (queued for 1 minute and 11 seconds)
Status Job ID Name Coverage
  Build
passed #4140
fp-timing
build-coq.8.6.1

00:10:25

passed #4139
fp-timing
build-coq.8.7

00:02:39

 
  Deploy
passed #4141
opam

00:00:14

passed #4142
reverse-deps

00:00:13