.gitignore: ignore kdevelop generated file *.kdev4