Coccifix

This patchset fixes an issue in coccinelle test and update travis-ci procedure to install coccinelle and run make check.