[PATCH 5/9] ci: Speed up the Docker image creation with eatmydata.