coccinelle: improve run-coccinelle.sh to take list of scripts to run

Let's tweak run-coccinelle.sh to optionally take a list of scripts to
run. If not specified, run all scripts, as before.

coccinelle/run-coccinelle.sh

@@ -1,6 +1,6 @@
 #!/bin/bash -e
 
-for SCRIPT in *.cocci ; do
+for SCRIPT in ${@-*.cocci} ; do
         [ "$SCRIPT" = "empty-if.cocci" ] && continue
         echo "--x-- Processing $SCRIPT --x--"
         TMPFILE=`mktemp`