README: explain how to update std++

3 jobs for master in 9 minutes and 43 seconds
Status Job ID Name Coverage
  Build
passed #3676
fp-timing
build-coq8.6.1

00:02:49

passed #3675
fp-timing
build-coq8.7

00:09:29

 
  Opam
passed #3677
opam

00:00:13