Merge branch 'clarify-which-bsd' into 'master'

LICENSE: Clarify which BSD license is being used

See merge request !174
5 jobs for master in 10 minutes and 44 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #79236
fp
build-coq.8.10.2

00:04:53

passed #79235
fp-timing
build-coq.8.11.2

00:04:20

passed #79234
fp
build-coq.8.12.dev

00:10:44

passed #79238
fp
build-coq.8.8.2

00:04:05

passed #79237
fp
build-coq.8.9.1

00:04:41