CI: create Docker container containing compiled tools