replace PostScript and DVI in save script command handler by the proper document type
replace PostScript and DVI in save script command handler by the proper document type

git-svn-id: 765db44a9620ed55f4f8addfd3c14fe8cd57f6bb@5368 0fceea05-a30d-0410-8a8b-80ef821fb0a1

nanoant/Skim,nanoant/Skim,nanoant/Skim,nanoant/Skim,nanoant/Skim