Merge branch 'topic/rename-test' into 'master'

Rename test to a more meaningful name

See merge request eng/ide/ada_language_server!1221

Author: eliericha

testsuite/shell/get-extension-settings.py renamed to testsuite/settings-doc/get-extension-settings.py

@@ -0,0 +1,7 @@
+# This test checks that all settings declared in the extension's package.json
+# have a corresponding entry in the settings documentation.
+driver: shell
+title: 'settings_docs'
+# Test only on Linux, since it depends on `bash` and `diff`
+skip:
+    - ['SKIP', 'env.build.os.name != "linux"']