BUILD: enable coverity_scan addon for travis-ci

.travis.yml

@@ -6,6 +6,7 @@ compiler:
 branches:
   only:
     - master
+    - coverity_scan
 
 notifications:
   email:
@@ -19,6 +20,10 @@ env:
 - BOINC_TYPE=server
 - BOINC_TYPE=client
 #- BOINC_TYPE=manager
+  global:
+    # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created
+    #   via the "travis encrypt" command using the project repo's public key
+    - secure: "Rd++Hyurnwd/tvjH0PX2seO3QUZ6WOf8bSB2ZkKPfZCU6+tXVMvloyog6Mlc7vl0m3WFAzw24MDtNLFBUktRsVXOkqDup1s6PdkwwcwG+5wAnydN+kXF9PcqKyOi0xJvl48Wji+r92Y9SCLzPnQGjZg70xHET22bDZHt2FsjP80="
 
 matrix:
   fast_finish: true
@@ -40,3 +45,13 @@ script:
 - if [[ "${BOINC_TYPE}" == "server" ]]; then ( ./configure --disable-client --disable-manager && make ) fi
 - if [[ "${BOINC_TYPE}" == "client" ]]; then ( ./configure --disable-server --disable-manager && make ) fi
 - if [[ "${BOINC_TYPE}" == "manager" ]]; then ( ./configure --disable-server --disable-client && make ) fi
+
+addons:
+  coverity_scan:
+    project:
+      name: "BOINC/boinc"
+      description: "Build submitted via Travis CI"
+    notification_email: christian.beer@posteo.de
+    build_command_prepend: "./coverty_prepare.sh"
+    build_command:   "make -j 4"
+    branch_pattern: coverity_scan