Modify diagnostic tools for the language server

[linqingyao]

I added ‘diagnostic.selene. with({extra_args = {"–no-default-features"}}),’ to null-ls, but it didn’t work. How exactly do I change the diagnostic tool used by lua server to Selene and apply it