Merge pull request #5 from bchretien/master

Make Travis scripts debugging easier
Fix coverity download.

COVERITY_PROJECT_NAME needs to be defined though.