bot: Update to the latest revision of version-control-tools (ded97ed583501fdb8fe3e9fa818d51a4332a265e)

Author: marco-c

bot/ci/bootstrap.sh

@@ -1,7 +1,7 @@
 #!/bin/bash -ex
 GRCOV_VERSION="v0.7.1"
 MERCURIAL_VERSION="6.5.2"
-VERSION_CONTROL_TOOLS_REV="d0d8dd1934dd"
+VERSION_CONTROL_TOOLS_REV="ded97ed58350"
 
 apt-get update
 # libgoogle-perftools4 is currently required for grcov (until https://github.com/mozilla/grcov/issues/403 is fixed).