Bug when undoing too many times

[AltGr]

trafficstars

If you try to undo too many times, gtk shows some assert failures. If you then try to redo, it scrambles your buffer.

This is a bug in the libraries, ocaml-top doesn't do any manual undo handling. We need to find a workaround.