Added coccinelle as submodule