[reSIProcate] travis builds fixed (Ubuntu version change, cajun, Coverity version change)
travis-ci builds were failing last week, there were a few reasons, now
resolved:
- cajun was moved to contrib, but cajun was not available in the Ubuntu
version used by travis-ci. I've had cajun included in the latest Ubuntu
release and tweaked the travis-ci config to use Ubuntu "Saucy
Salamander" packages.
- one side effect is that it may also use new versions of other packages
such as openssl, that seems to be a good thing though
- the Coverity scan tool version changed and the script could no longer
download the old version of the tool. This is a bit tricky to
automate. We could put the current version into the repository, in case
the URL changes again. It is 200MB to support both 32 bit and 64 bit
and I think that it is probably too big to include. For now, I will
send them a support request asking them to provide a constant link that
always gives the latest binary or to have their tool included in
travis-ci or Ubuntu. If that is not successful and if this issue occurs
regularly, then we can just disable the Coverity scans or modify the
script to proceed with a build even if Coverity fails.