coverity: initial commit
coverity: initial commit

This commit adds the example description from the Coverity
Travis CI integration into the travis.yml file and runs the
analysis in a directory "coverity-dir", for now only on the
branch "master".

nmanthey/riss-solver,nmanthey/riss-solver,nmanthey/riss-solver