Maintainers.txt: Update maintainers for ShellBinPkg