Updated git submodules

Project: integration/devtool master ef7b4aca7e3b9fe06bdaa4a9e979bdb02d85a674

Rename doc folder

The Jenkins job that triggers the creation of documents looks for
docs folder[1], in order to be covered by this job it's necessary to
adapt to this convention.

[1] https://git.onap.org/ci-management/tree/jjb/doc/doc-templates-rtd.yaml

Change-Id: Ieca92084d95b0ef4736223b1ea60cb0f9c688550
Signed-off-by: Victor Morales <victor.morales@intel.com>
Issue-ID: DOC-261

diff --git a/docs/submodules/integration/devtool.git b/docs/submodules/integration/devtool.git
index 410ba49..ef7b4ac 160000 (submodule)
--- a/docs/submodules/integration/devtool.git
+++ b/docs/submodules/integration/devtool.git
@@ -1 +1 @@
-Subproject commit 410ba49a479bf6be3cbe3dddff2e8047e7967f3c
+Subproject commit ef7b4aca7e3b9fe06bdaa4a9e979bdb02d85a674