.gitignore: rework for release branch, where generated sources are included.