saved workbench installation directory in IBPWorkbench's workbench.properties file
this value will be used by ToolUtil when launching native tools