Merge branch 'ralf/docs-license' into 'master'

Put the appendix under CC-BY 4.0

The title says this all. I hereby relicense my contributions to the appendix under the CC-BY 4.0 license.

For this to complete, I need similar statements from all other contributors: @robbertkrebbers @jjourdan @abizjak

See merge request !16
1 job for master in 9 minutes and 21 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #1079
coq
buildjob

00:09:21