Adapt for gtk_source_file_get_encoding() NULL return value

NULL can now be returned.