Git-Ignore generated file in src/string/theorytesting