added .gitignore; it might not take effect