Make a mirror of wasi-config git repository

In projects/wasi-config/config we're currently using https://git.savannah.gnu.org/git/config.git, which is frequently not working, and makes our nightly build fail.

To avoid this we could mirror that repository somewhere.