gitignore: Exclude previous versions saved by editors.