Coverity scan#3

Open

wthrajat wants to merge 7 commits intomasterfrom

Commits on Mar 22, 2018

Add automatic coverity scans

glance-
authored and
dirkhh
committed
Run coverty scan on cron triggers

glance-
authored and
dirkhh
committed
Add a coverity status badge to README.md

glance-
authored and
dirkhh
committed
Travis Coverity: this should give us the correct token
dirkhh
committed
Travis/Coverity: for now just trigger on branch name
dirkhh
committed
build.sh: add flags to only build / not build dependencies
dirkhh
committed
Travis/Coverity: try to only scan libdivecomputer and Subsurface
dirkhh
committed