lsp: user-configurable timeout extension and tree depth

[leon-xu-04]

When type checking hits the timeout or tree depth limit, let the user extend instead of giving up.

The timer extension should account for how long the user takes to respond.

Tree depth needs to start from scratch again.