public PluginTool launchTool(String toolName) {
		return launchTool(toolName, null);
	}
Launches a tool of the given name using the given domain file.
<p>
Note: the tool returned will have auto save disabled by default.

@param toolName the tool's name
@return the tool that is launched
Ghidra/Features/Base/src/main/java/ghidra/test/TestEnv.java