coccinelle: update Coccinelle entry

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

Signed-off-by: Julia Lawall <[email protected]>
Reviewed-by: Kees Cook <[email protected]>

Author: JuliaLawall

MAINTAINERS

@@ -4594,11 +4594,10 @@ COCCINELLE/Semantic Patches (SmPL)
 M:	Julia Lawall <[email protected]>
 M:	Gilles Muller <[email protected]>
 M:	Nicolas Palix <[email protected]>
-M:	Michal Marek <[email protected]>
-L:	[email protected] (moderated for non-subscribers)
+L:	[email protected] (moderated for non-subscribers)
 S:	Supported
-W:	http://coccinelle.lip6.fr/
-T:	git git://git.kernel.org/pub/scm/linux/kernel/git/mmarek/kbuild.git misc
+W:	https://coccinelle.gitlabpages.inria.fr/website/
+T:	git git://git.kernel.org/pub/scm/linux/kernel/git/jlawall/linux.git
 F:	Documentation/dev-tools/coccinelle.rst
 F:	scripts/coccicheck
 F:	scripts/coccinelle/