Separate repository vscode settings and local vscode settings

Use dangmai.workspace-default-settings externsion for that.

.gitignore

@@ -7,7 +7,7 @@ tools/dist/
 .core
 .libs
 .vscode/*
-!.vscode/settings.json
+!.vscode/settings.default.json
 !.vscode/c_cpp_properties.json
 !.vscode/tasks.json
 !.vscode/launch.json

.vscode/extensions.json

@@ -1,6 +1,7 @@
 {
 	// See https://go.microsoft.com/fwlink/?LinkId=827846 to learn about workspace recommendations.
 	"recommendations": [
+		"dangmai.workspace-default-settings",
 		"ms-vscode.cpptools",
 		"ms-vscode.cmake-tools",
 		"ms-python.python"