Add flushReceiveBuffer() to HardwareSerial

In Serial communication sometimes one wants to flush all data in the receive buffer at once. E.g. because data has become invalid. - https://forum.arduino.cc/index.php?topic=530650 -

The code to do this very fast in HardwareSerial is straightforward,
```
void HardwareSerial::flushReceiveBuffer()
{
_rx_buffer_head = _rx_buffer_tail;
}
```

Comienza localizando la declaración de HardwareSerial y su implementación o sus pruebas existentes relacionadas con flush. Comprueba cómo se representa el búfer de recepción y cómo se prueban las adiciones a la API pública; se considera terminado cuando la API expone flushReceiveBuffer() y al llamarlo se descartan todos los datos de recepción almacenados actualmente.

Escrito por el modelo de indexación a partir del texto del issue.