Adds a new option in settings to not scroll to revealed files in the file explorer view.

autoRevealNoScroll -> autoRevealScroll with a matching description and default value to true, the editor's default behavior.

autoRevealScroll removed, AutoReveal class added with string options, and maintained backwards boolean value compatibility.

Also fix types for setting variable type error.