btor/.gitignore