Compare with twee

[0x0f0f0f]

https://github.com/nick8325/twee https://nick8325.github.io/twee/ https://www.tptp.org/ (problem sets).

twee is based on knuth bendix. in our knuth bendix test EqSat already outperformed knuth bendix.

After we have #111 we should compare MT and Twee