Add encrypted GCloud key for Travis

This key will be used for uploading doxygen html documentation.

Author: Vlastimil Zeman

.travis.yml

@@ -47,6 +47,9 @@ jobs:
       install:
       script: scripts/travis_doxygen.sh
       before_cache:
+      after_success:
+        - openssl aes-256-cbc -K ${encrypted_72f9b9ee773a_key} -iv ${encrypted_72f9b9ee773a_iv}
+          -in gcloud-travis-cbmc.json.enc -out gcloud-travis-cbmc.json -d
 
     # Ubuntu Linux with glibc using g++-5
     - stage: Linter + Doxygen + non-debug Ubuntu/gcc-5 test