This commit also purges .gitignore, since the files mentioned in it should be handled by global ignore file. Fixes #4378.