Updated git submodules

Project: integration master 071b81cf985c482bb0a38ca1c96491feefd1ec13

Integrate install_dev_tools into install_docker

The packages installed by the install_dev_tools are only required by
the docker installation, therefore is not necessary to install them
in other cases. According to the Docker official documentation the
linux-image-extra-* packages are required.

Change-Id: I96c5f556c9e5a74d52e012d7896786061299036e
Signed-off-by: Victor Morales <victor.morales@intel.com>
Issue-Id: INT-328

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 9174ead..071b81c 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 9174eadc3cadf827669fc0999304b0221ff2349c
+Subproject commit 071b81cf985c482bb0a38ca1c96491feefd1ec13