CrashAutomata C# code for implementing CrashAutomata: An Approach for the Detection of Duplicate Crash Reports Based on Generalizable Automata