Do not restrict tool search to tool ID

This will produce less accurate results but order of magnitude faster. There is probably something that needs to be tweaked in the whoosh search in the toolshed for this to work with IDs only.

server/packages/server-common/src/services/toolShed.ts

@@ -71,7 +71,7 @@ export class ToolshedServiceImpl implements ToolshedService {
     const toolshedUrl = await this.validateToolshedUrl();
     const toolsApiUrl = `${toolshedUrl}/api/tools`;
     const queryParams = new URLSearchParams({
-      q: `id:${toolId}`,
+      q: toolId,
       page_size: limit.toString(),
     });