Bump etc/coq-scripts from `8b66ebe` to `2df5dbe` #201

Job	Run time
build (v8.15, fiat-core parsers querystructures, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h...	1s
build (v8.14, fiat-core parsers querystructures, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h...	1s
build (v8.13, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.13-daily)	1s
build (v8.12, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.12-daily)	1s
build (v8.11, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.11-daily)	1s
build (8.15.0, fiat-core parsers querystructures, PROFILE=1, 2, coq-8.15.0 libcoq-8.15.0-ocaml-de...	1s
build (8.14.1, fiat-core parsers querystructures, PROFILE=1, 2, coq-8.14.1 libcoq-8.14.1-ocaml-de...	1s
build (8.13.2, fiat-core parsers, PROFILE=1, 2, coq-8.13.2 libcoq-8.13.2-ocaml-dev, ppa:jgross-h/...	1s
build (8.12.2, fiat-core parsers, PROFILE=1, 2, coq-8.12.2 libcoq-8.12.2-ocaml-dev, ppa:jgross-h/...	1s
build (8.11.2, fiat-core parsers, PROFILE=1, 2, coq-8.11.2 libcoq-8.11.2-ocaml-dev, ppa:jgross-h/...	1s
check-all	1s
	11s

Provide feedback