Gitignore generated file

Because it's not part of the source code, because it won't get accidentally commit by contributors...