Remove codeFormatting.whitespaceAroundPipe setting for users in next stable version

[bergmeister]

In PR #2689 we make the extension migrate the value of codeFormatting.whitespaceAroundPipe to codeFormatting.addWhitespaceAroundPipe for the next preview.
Before the next stable release, we should modify the logic to also remove the codeFormatting.whitespaceAroundPipe setting, which will be redundant from then on.

[bergmeister]

@SydneyhSmith This is not a bug. This is the 2nd part of the migration plan to migrate a deprecated setting to the newer one automatically for the user. A PR for this cannot be merged until after the last preview before the next stable release.