[PATCH v4 (fix formatting and revert cli_colors to original state)] Add style tui-current-line command to colorize TUI current line.

[Eli Zaretskii]

> From: Andrei Pikas <gdb@mail.api.win>
> Date: Mon, 18 Jul 2022 22:11:18 +0300
> Cc: Andrei Pikas <gdb@mail.api.win>, aburgess@redhat.com
> 
> Adds the ability to customize the colors of the current line of code in TUI.
> This may be desirable when code highlighting is enabled. Because higlighted
> keywords in dark blue color are indistinguishable from a black background
> (which is the default inverse color for a white terminal).
> Here is a screenshot of old and new behavior
> https://drive.google.com/file/d/1RnrDjvdsnV8y_lrnavs6wvQ6lXbtjRup/view
> ---
>  gdb/NEWS            |  4 ++++
>  gdb/cli/cli-style.c | 14 ++++++++++++++
>  gdb/cli/cli-style.h |  3 +++
>  gdb/doc/gdb.texinfo |  3 +++
>  gdb/tui/tui-io.c    | 44 ++++++++++++++++++++++++++++++++++++++++----
>  gdb/tui/tui-win.c   |  1 +
>  6 files changed, 65 insertions(+), 4 deletions(-)

The documentation parts are unchanged since I approved them, right?

Thanks.