Deprecate Shell Option

[brianoliver]

With the introduction of the OperatingSystem support for Platforms, there's no longer a requirement to have a separate Shell option to specify the type of Shell. This information could be acquired by the OperatingSystem automatically.