Filter ToolPropertiesList to exclude all Tools not mentioned in the compilation graph.