save_as_pefs(a_script)
Save a script object as a preferences script object into a file.
The file name can be given with set_pref_name.If set_pref_name is not called, the name of the default preferences script object will be used.