Update to new tools/ HEAD

adiknoth · adiknoth · commit 90f9dd39b0a0 · 2017-01-10T11:20:51.000+01:00
diff --git a/tools b/tools
@@ -1 +1 @@
-Subproject commit 02ddc6ea2f16e41326c675b1bcfcd6335390b88e
+Subproject commit 8d13c31eccb522bc61c9ad52a45c7d82f85b9c90
