Merge branch 'ralf/default' into 'master'

introduce [default] as abbreviation for [from_option id], and use it

See merge request robbertkrebbers/coq-stdpp!32
7 jobs for master in 18 minutes and 8 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #12731
fp
build-coq.8.6.0

00:06:08

passed #12730
fp
build-coq.8.6.1

00:09:16

passed #12729
fp
build-coq.8.7.0

00:09:09

passed #12728
fp
build-coq.8.7.1

00:02:46

passed #12727
fp-timing
build-coq.8.7.2

00:02:49

passed #12726
fp
build-coq.8.8.0

00:02:46

passed #12725
fp
build-coq.dev

00:15:22