Remove generated files in the constructivisation benchmark
Most of the size of this git repository comes from my constructivisation benchmark.
The manually-written Dedukti part of this work is hosted at https://gforge.inria.fr/projects/dedukti-constr/ and is quite small.
The non-Dedukti source is the TPTP benchmark (http://www.cs.miami.edu/~tptp/), which is quite big.
I agree that keeping and sharing the generated Dedukti files has many advantages but I would discourage the use of git for that because changes in the generators lead to very long diffs that are hard to read.