add a distrib/ directory where we can add tools for the chameleon distribution: debian packages, spack, ...