Document.urlChanged and app.documentUrlChanged now give the new and the old url as arguments
Merge branch 'master' of github.com:wbsoft/frescobaldi
beginnings of documentwatcher, watches documents for modifications on disk by other programs