Update git submodules

* Update docs/submodules/functest from branch 'master'
  - Merge "Chmod 755 functest/ci/download_images.sh"
  - Chmod 755 functest/ci/download_images.sh

    It's designed to be called via Jenkins and was fixed by the next rule:

    $ find ${FUNCTEST_REPO_DIR} -name "*.sh" \
      |xargs grep \#\! |cut -d\: -f 1 |xargs chmod -c 755

    Change-Id: I186aa9c3227dbac4e80f9a463632efdb2512020e
    Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>

diff --git a/docs/submodules/functest b/docs/submodules/functest
index 94f13ed..8c71f20 160000 (submodule)
--- a/docs/submodules/functest
+++ b/docs/submodules/functest
@@ -1 +1 @@
-Subproject commit 94f13ed9eb5005f8fb9e22e96a18ccec1aa6e5db
+Subproject commit 8c71f206875bab312072feeede1b9999efd76698