modify .gitignore for core development