Replace .boring (from darcs) to .gitignore