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.
Doc: explain the "v2" for the language definition file format