Integrate staticcheck support in spxls

[aofei]

Currently, spxls lacks static analysis capabilities that tools like gopls provide. By integrating staticcheck, we can detect common issues like spin loops (e.g., for {} that consumes 100% CPU), resource leaks, and other potential problems during development. This will significantly improve the development experience by providing real-time feedback through LSP diagnostics.