Replace `pane::Split` action with `Split{Left,Up,Right,Down}`

This allows us to show them in the command palette.

Fix surrounding text with bracket pairs with multiple selections

This was probably a regression that was introduced with the new batched
`Buffer::edit` API and was caused by providing selection ranges in a
non-ordered fashion (we were passing all the starts first and then all the
ends).

With this commit we are adding a unit test to verify the behavior of
`Editor::surround_with_bracket_pair` and changing the order in which
we pass edit ranges to respect the selection order.

Exclude staff from metrics and start tracking active projects

Now that we track active projects, if nothing happens to the store
during the activity timeout we would still serve some old metrics
that may not account for the staleness of a project.

This commit changes it so that we grab a mutable reference to the store
before serving the metrics, which has the side effect of updating
all the metrics.

An active project is defined as a project where there has been at
least a buffer edit, a join request/response, or a follow update
in the last minute.

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