`with_server` helper should not use `stubs` for the `stub_no_typechecker` option

[st0012]

Description

stubs comes from Mocha, which is not a dependency of ruby-lsp. So if the addon doesn't use Mocha but sets stub_no_typechecker to true, this line will cause NoMethodError:

     NoMethodError:
       undefined method `stubs' for an instance of RubyLsp::GlobalState

[andyw8]

We could probably refactor so that it's an option passed to RubyLsp::Server.new, then no stubbing would be needed.

[github-actions[bot]]

This issue is being marked as stale because there was no activity in the last 2 months