Remove `infoViewTacticStateFilters` config.
Remove `infoViewTacticStateFilters` config.

A regression, yes, but this can now be implemented in Lean using widgets.

leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean