Added Coverity configuration to Travis CI.
Fixed directory creation on Travis CI.