[cocci] Current git URL

Hi,

We recently patched Fedora coccinelle to support pcre2.  One issue we
hit was that the website refers to the upstream git repository as:

https://github.com/coccinelle/coccinelle/

See for example the link here on what I assume is the correct upstream
website:

https://coccinelle.gitlabpages.inria.fr/website/download.html

However, upstream development (and the pcre2 patches) seem to appear
only on INRIA's gitlab instance.  We actually couldn't find the
patches or this git repo initially, as the coccinelle website doesn't
seem to refer to it at all:

https://gitlab.inria.fr/coccinelle/coccinelle

It'd be nice if this was fixed (or the github repo was synchronized).

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
libguestfs lets you edit virtual machines.  Supports shell scripting,
bindings from many languages.  http://libguestfs.org