Editor: port IdeIndenter to GtkSourceIndenter
We simplified the indenter API a lot by moving it into GtkSourceView 5. We should drop the IdeIndenter interface (or make it a light wrapper) and use GtkSourceIndenter instead.
Some work on indenters will need to be done because the new API is much simpler yet more flexible.