Add travis and coverity tool defines