[Documentation] Remove unused or incomplete VSCode settings #49
Description
Why
The settings menu is cluttered with settings from development, they should be finished or removed if their purpose is scarse or doesn't work as intended
What
Force AddModule: Should be finished, this is a feature in the pipline, but should be removed until it is finished
Indent Number: The extension uses what VSCodes indentation is, therefore this is redundant
Max Number of Problems: This doesn't work and is automatically capped at 1000 problems, should be removed
Trace Server: Has no use currently, from lsp_template