Update git submodules

* Update docs/submodules/integration/devtool.git from branch 'master'
  to f0f1a644ee5c8da2ee35cb78b8db67e3838121cb
  - Synchronize Vagrant version between doc and script

    Environment preparation script (tools/setup.sh) installs Vagrant 2.2.3,
    while documentation recommends version 2.0.1.

    Issue-ID: DOC-420
    Change-Id: I9aefc8db2bacacab88a010c587b72a259e550ac8
    Signed-off-by: Pawel Wieczorek <p.wieczorek2@samsung.com>

diff --git a/docs/submodules/integration/devtool.git b/docs/submodules/integration/devtool.git
index 07c12b8..f0f1a64 160000 (submodule)
--- a/docs/submodules/integration/devtool.git
+++ b/docs/submodules/integration/devtool.git
@@ -1 +1 @@
-Subproject commit 07c12b82b1b23d9c824a46e9c861f79ee5a6867c
+Subproject commit f0f1a644ee5c8da2ee35cb78b8db67e3838121cb