Make temp file extension configurable

The file extension used for the temporary file in edit-mode is
now configurable in the settings file with "default_file_extension".
This helps the editor called to provide syntax highlighting.