session loading: fix the default format of files
When the format is not present, we use the extension of the file to generate it. This fixes a problem that occured in Python files when old sessions were kept, the file would become not parsable.
When the format is not present, we use the extension of the file to generate it. This fixes a problem that occured in Python files when old sessions were kept, the file would become not parsable.