Try to avoid unnecessary offers to reload externally modified files

Previously just the timestamp was checked. Now the old and new content are compared using md5sum.