rename german word verzeichnisse to tools_dir (this was introduced 4
years ago)

Change-Id: Id2bf67ada9e75d6c59e2ca1454b03cad6575b65e
Signed-off-by: Frank Becker <eclipse@frank-becker.de>
1 file changed