Add a make cocci target