Add regenerated pecan benchmarks

[hgluka]

Hi,

@pierreganty and I managed to regenerate the benchmarks from https://github.com/ReedOei/SturmianWords, which means that we have a couple more benchmarks here as well.

However, DO NOT MERGE YET. There seems to be a problem with Pecan, which means that two benchmarks are incorrect (there is no inclusion when there should be). Those are:
All_factors_of_Sturmian_words_are_recurrent and All_natural_numbers_other_than_0_have_a_predecessor

Some files are also very large, and for some of them, I couldn't get ROLL to convert them to .ba, due to memory issues, so it's not complete.

Cheers,
Luka

[pierreganty]

Unfortunately, Reed Oei (the author of Pecan) passed away: https://docs.google.com/document/d/e/2PACX-1vSMIkPVRt5l-WDSXmVfI2caNNFrALlVTeqOX4xLIZw-RvpQAWHkSJeZbR3ewNrsCdWKsC7yKJCJUp5m/pub