Improve doc for the default undo manager

Explain the default undo manager in the description of GtkSourceBuffer.
The explanations in the functions were not correct if a custom undo
manager is used.