Update to Manticore 3.1.0
Update to Manticore 3.1.0

The bug described in 09c0a6a00cbc55ce97566d759f9e91f8d01133e7
is still present but the work around doesn’t work any more.
Here is another work around by removing the generator script.

Refs Tatoeba/tatoeba2#1929.

Tatoeba/tatoeba2,Tatoeba/tatoeba2,Tatoeba/tatoeba2,Tatoeba/tatoeba2,Tatoeba/tatoeba2