Refactor the FileSaver to fit GtkSourceFile API

It is compilable!
It uses internally a GTask.
The workaround for https://bugzilla.gnome.org/show_bug.cgi?id=615110 is
disabled.
And I added a lot of FIXME and TODO comments.
File: use the FileSaver