Re: [PATCH] tools: Integrate the Dockerfile used for CI