git://git.qemu.org/qemu-web.git now pulls from gitlab

[Paolo Bonzini]

The qemu-web.git repository on git.qemu.org is now a mirror of gitlab. 
The git mirror is updated every 15 minutes.

Pushing new changes to qemu.org therefore must now be done via 
git@gitlab.org:qemu-project/qemu-web.git.  The GitLab qemu-project 
organization is configured so that CI/CD jobs for the master branch will 
automatically update qemu.org.

The next steps are:

- switching qemu.git to also pull from GitLab

- using the same CI/CD configuration (but on qemu.git) to deploy 
https://www.qemu.org/docs/master/

Paolo