Use GtkSourceFile for file saving (not finished!)

The plan is to write an adapter between the GeditDocument and
GtkSourceFile APIs.