Merge pull request #48 from bchretien/master

[travis] Synchronize
Fix coverity download + remove useless dependency.