update Coccinelle entry

[Julia Lawall]

Update mailing list and website.  Drop Michal Marek as a maintainer, who
has not participated in a long time.

Signed-off-by: Julia Lawall <Julia.Lawall@xxxxxxxx>

---

For information.  This will be in my tree.

diff --git a/MAINTAINERS b/MAINTAINERS
index 7d46f03e5037..8746149b6623 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -4594,10 +4594,9 @@ COCCINELLE/Semantic Patches (SmPL)
 M:	Julia Lawall <Julia.Lawall@xxxxxxxx>
 M:	Gilles Muller <Gilles.Muller@xxxxxxxx>
 M:	Nicolas Palix <nicolas.palix@xxxxxxx>
-M:	Michal Marek <michal.lkml@xxxxxxxxxxx>
-L:	cocci@xxxxxxxxxxxxxxx (moderated for non-subscribers)
+L:	cocci@xxxxxxxx (moderated for non-subscribers)
 S:	Supported
-W:	http://coccinelle.lip6.fr/
+W:	https://coccinelle.gitlabpages.inria.fr/website/
 T:	git git://git.kernel.org/pub/scm/linux/kernel/git/mmarek/kbuild.git misc
 F:	Documentation/dev-tools/coccinelle.rst
 F:	scripts/coccicheck