gvle: improve the use of Gtk{Text|Source}view in Editor

To improve the use of the C++ API, we merge the GtkSourceView and
GtkTextView in a GtkWidget. This change simplify source code in many
place.