Set file mod date when reading or saving, to prevent us from noticing our own changes, or failing to take into account manual reloading. 
Set file mod date when reading or saving, to prevent us from noticing our own changes, or failing to take into account manual reloading. 

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

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