Add a configuration option to disable codeql codelens

[aeisenberg]

#1035 introduced a codelens for the extension. Some users are asking for a way to disable it since it distracts them from their work.