Code generation failure in tests

[runKleisli]

cbaed9c describes a code generation error in the compiler that prevents the tests from being converted to C code that builds (and likely any use of the gaussian elimination algorithm).

This applies to Idris 0.9.20-0.10.

This is probably Idris Issue #3719, which was fixed in v1.0.

Idris Issue #3823 also involves duplicate cases being generated.

If this were not the case, we could see if GCC can optimize gaussElimlz result matrix calculations enough to finish, but at the moment it is too slow to run the small test cases from the Idris REPL (see #49) and thus too slow to run at all.

However, Idris 1.0 is distant in compatibility: changes in contrib, new features, and other changes have to be taken into account as the project is brought up to date. The same amount of effort could be well-spent on #44, which would allow significant chunks to be brought up to date separately and thus contribute more immediately to the community.