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;
}
```

Beginne damit, die Deklaration von HardwareSerial und die vorhandene flush-bezogene Implementierung oder Tests zu finden. Prüfe, wie der Empfangspuffer dargestellt wird und wie Ergänzungen der öffentlichen API getestet werden; abgeschlossen ist die Aufgabe, wenn die API flushReceiveBuffer() bereitstellt und ein Aufruf davon alle derzeit gepufferten Empfangsdaten verwirft.

Vom Indexierungsmodell aus dem Issue-Text verfasst.