Don't show invisible worktrees in project and contacts panel

Polish project panel UX

Allow specifying `query`, `limit` and `page` when hitting `/api/users`

Expose a new `POST /api/bulk_users` API to create many users at once

This is needed to introduce pagination and search in our admin panel.

This API will accept a vector of JSON entries containing the GitHub login,
the email address and the invite count. If that user already exist, the
invite count will be updated to the new one.

Add more logging to `collab` to better understand user behavior

Prompt to save changes before quitting the app

Report collab server metrics to DataDog via OpenMetrics

Co-authored-by: Antonio Scandurra <me@as-cii.com>

Co-authored-by: Antonio Scandurra <me@as-cii.com>

Style jump to buffer arrows in diagnostics

Introduce a new `BlockStyle` field for blocks

This new field allows blocks to specify how they want to be laid out:

- If `Fixed` they can take up all the width they want and they will impact
the scroll width of the editor. This is useful for diagnostic messages and
allows scrolling the editor further to the right to visualize the entire message.
- If `Flex` they can extend all the way to the scroll width without impacting it
any further. This is useful for the rename editor that we insert as a block
decoration when hitting `F2`.
- If `Sticky`, they will be as wide as the editor element and won't participate
in the horizontal scrolling of the editor. This is useful for headers in general,
where we want e.g. the filename and the jump button to always be visible
independently of how much the user has scrolled to the right.

Always delay hover display

Hover fixes. Addresses delay issues with current hover implementation, shrinks the hover popover, and tweaks the display of markdown data

Add Go support

We only support additionalEdits if they are provided when resolving the
completion, not if they are provided immediately.