Scripts/Docker: install uncompressed SRS
Depends on: opam-repository!507 (merged)
What
This MR modify scripts/install-dal-trusted-setup in order to download the SRS in new uncompressed format (see !12827 (merged)). This also installs the script in the docker build image, in order for the tezt CI images to be able to download the SRS.
Why
This is a try-to-be-smooth transition to use real SRS in a format that should be faster to load than at this time.
Edited by Arvid Jakobsson