Git-machete

- Improved: traverse action shows fewer dialogs making the process even smoother.

- fixed: package version retrieval outside of git repository
- fixed: checking whether a branch is merged to parent works for branches that have no common commit
- added: CI/CD check ensuring that RELEASE_NOTES are up to date
- fixed: `github create-pr` takes the PR title from the first unique commit

- Fixed: traverse used to always stop after sliding out the current branch (reported by CLOVIS-AI);
now it continues just as after rebase/push/pull (of course unless `Quit`/`Yes + Quit` option has been selected).

- Added: an option to the branch rename dialog allowing to keep or discard the remote tracking branch info.
- Added: extra backup keyboard shortcut (`Ctrl + Option + Shift + M`) for opening Git Machete tab on macOS,
in case `Command + Option + Shift + M` is already taken by Kotlin plugin.
- Added: `Yes + Quit` button in Traverse dialogs.
- Improved: push action is no longer blocked by the other machete actions; it can be run in parallel.

- added: `gitmachete/git-machete` Docker image (contributed by mohitsaxenaknoldus)
- fixed: build process stability

- Fixed: notification about unmanaged current branch wasn't showing up.
- Fixed: in case of red edge from a branch to its parent, the unique history of a branch can no longer include any commits reachable from its parent.
- Improved: side-effecting actions (like Rebase, Pull, Discover etc.) are disabled while another side-effecting action is ongoing.
- Fixed: _Current branch ... is not managed by Git Machete_ notification no longer shows up right after running Slide In action.
- Fixed: after using "Create branch" quick fix in Machete file editor, red squiggles now immediately disappear once the branch is created.