Drop redundant entries in gitignore, fixes #8