RISC-V Guix CI and substitute server by @Z572:

- https://cache.z572.online/
- https://b.z572.online/

#guix #riscv