Bump etc/coq-scripts from `8b66ebe` to `bbe2c4c` #192

Job	Run time
build (v8.15, fiat-core parsers querystructures, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h...	9m 40s
build (v8.14, fiat-core parsers querystructures, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h...	9m 58s
build (v8.13, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.13-daily)	9m 5s
build (v8.12, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.12-daily)	8m 15s
build (v8.11, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.11-daily)	7m 3s
build (8.15.0, fiat-core parsers querystructures, PROFILE=1, 2, coq-8.15.0 libcoq-8.15.0-ocaml-de...	9m 52s
build (8.14.1, fiat-core parsers querystructures, PROFILE=1, 2, coq-8.14.1 libcoq-8.14.1-ocaml-de...	13m 42s
build (8.13.2, fiat-core parsers, PROFILE=1, 2, coq-8.13.2 libcoq-8.13.2-ocaml-dev, ppa:jgross-h/...	6m 29s
build (8.12.2, fiat-core parsers, PROFILE=1, 2, coq-8.12.2 libcoq-8.12.2-ocaml-dev, ppa:jgross-h/...	7m 53s
build (8.11.2, fiat-core parsers, PROFILE=1, 2, coq-8.11.2 libcoq-8.11.2-ocaml-dev, ppa:jgross-h/...	8m 26s
	1h 30m 23s

Provide feedback