Show the proven property immediately in the README

3 jobs for v1.0 in 7 minutes and 28 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #100551
au
coq:8.8

00:03:33

passed #100552
au
coq:8.9

00:03:59

passed #100553
au
coq:dev

00:03:42