Ben Gamari authored Sep 03, 2020 and Marge Bot committed Sep 09, 2020

We now generate our Docker images via Dhall definitions, as described in
ci-images!52. Additionally, we are far more careful about where tools
come from, using the ALEX, HAPPY, HSCOLOR, and GHC environment variables
(set in the Dockerfiles) to find bootstrapping tools.