Deprecate GeditEncoding (use GtkSourceEncoding instead)

GeditEncoding now uses internally GtkSourceEncoding.
gedit_document_get_file(): returns a GtkSourceFile