devel: Testing Coverity

Checking if the given procedure provides static code analysis by Coverity. If everything is to our satisfaction, we should poke Travis again to check if Coverity is skipped (for 24 hours) in order to honer their requested maximal frequency for build submissions.

Signed-off-by: Sebastian Niemann <niemann@sra.uni-hannover.de>