Fixes #22: if auto-save is activated, we update the file only when a task is created, modified, deleted or checked and not every 10 seconds.