Undo/Redo function in polygon-drawing

[jo-spek]

Hi, it is quite practical that there is an undo button in polygon mapping. However, if you accidentally undo one point too many, you can't "redo" it and it is lost. This can happen rather quickly, especially because of the lacking visual feedback after adding a corner (problem raised in issue https://github.com/google/ground-android/issues/2607). When mapping in the field, especially when walking from corner to corner with rather large distances, undoing a correct point can become really frustrating.

It would therefore be great to have an "undo" and "redo" button in the polygon mapping function.

Visual suggestion: -->