.gitignore: also add *.sdf