fixes microsoft#56185

Merge pull request microsoft#56241 from Microsoft/roblou/settingsMenu

Open the JSON settings editor instead of the UI editor

bump to 1.25.1

remove terminal menu

Bump version to 1.24.1

2018-06-06. Merged in translations from Transifex. (microsoft#51241)

Merged in latest translation of German language.

Only track first time installs for recommended extensions microsoft#4…

…9583

Fix logic for choosing insider/stable language pack (fixes microsoft#…

…49126)

update release number

Empty commit since the previous was a bad build for 1.22.1