Move Coverity scan to Makefile; simplify jenkins-build.sh
Merge pull request #421 from ged-lab/feature/simplify-jenkins-build

Move Coverity scan to Makefile; simplify jenkins-build.sh