Add locked shell environment + centralized shell dialect guard for Bash tool#281

mmprotest wants to merge 22 commits into

mainmmprotest/villani-code:mainfrom

mmprotest/implement-shell-normalization-for-command-executionmmprotest/villani-code:mmprotest/implement-shell-normalization-for-command-executionCopy head branch name to clipboard