Don't change the original index on exit

[jsbien]

If the index has been modified, then on exit write a copy.

[Michał Rudolf]

Save backup when modyfing index file. Closes #166. Backup is created at most once in each run.

→ <<cset 21858eb8567f>>