build contrib tools from the VLC repository
So we are sure the proper (current) tools are prebuilt in the Docker images.
Then when we edit the tools we just need to rebuild the image, without having to know which tools need to be added and how to build it.
Edited by Steve Lhomme