Merge pull request #87 from petrs/master

merging with master
travis file fix for coverity

- configure coverity for gcc before build