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 <Julia.Lawall@inria.fr>
Reviewed-by: Kees Cook <keescook@chromium.org>