[PATCH] tools: Integrate the Dockerfile used for CI