Removed real_name of the libraries.

It has been removed from the gRPC API: arduino/arduino-cli#1890

This PR switches from `real_name` to `name` in the UI, as the `name` is
the canonical form provided by the CLI.

Closes #1525

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>

arduino-ide-extension/src/common/protocol/library-service.ts

@@ -162,12 +162,6 @@ export enum LibraryLocation {
 }
 
 export interface LibraryPackage extends ArduinoComponent {
-  /**
-   * Same as [`Library#real_name`](https://arduino.github.io/arduino-cli/latest/rpc/commands/#library).
-   * Should be used for the UI, and `name` is used to uniquely identify a library. It does not have an ID.
-   */
-  readonly label: string;
-
   /**
    * An array of string that should be included into the `ino` file if this library is used.
    * For example, including `SD` will prepend `#include <SD.h>` to the `ino` file. While including `Bridge`