[Development] Status of the coverity builds

[Welbourne Edward]

> The build is done every Saturday on a Ubuntu 14.04 system and
> the result is then uploaded to coverity

What's the specific URL ?

> the build is always done from the dev branch and I wonder if in front
> of a release we shouldn't be tracking the release branch instead.

I'm surprised the release branch isn't the usual target of such
analysis.  If we have issues that can be found by static analysis,
surely we want to fix them sooner rather than later !

	Eddy.