.gitignore C# files, as Dafny can generate them.