Bash tool prompt now caches available skill commands and supports lean/trimmed prompt variants

The Bash tool's prompt-building now caches the list of bash-related skill commands, bashPromptSkillCommands, on a per-session object instead of recomputing it on every call. Prompt generation also now accepts new leanPrompt and bashFirstTrimmed options.