[Feature] Per-Bash command pattern timeouts.

Although BASH_DEFAULT_TIMEOUT_MS and BASH_MAX_TIMEOUT_MS provide global control over Bash tool (and, apparently, ! command execution) timeouts, there are cases, such as interactive code review tools, where one wants a longer timeout while keeping the general global timeout short. An example of this problem came up in an issue thread for the difit tool.

Perhaps having a mapping in settings.json, like:

"bashTimeouts": {
  "some-user-interactive-command *": 1800000
}

could be a solution?