Merge branch 'master' into bp_cervera3

aarbology2/src/aarbology.cpp

acast2/src/acast.cpp

acompaction2/src/acompaction.cpp

acompare2/src/AutomatonCompare.h

acompare2/src/GrammarCompare.h

acompare2/src/acompare.cpp

aconversions2/src/aconversion.cpp

aconvert2/src/DotConverter.h

aconvert2/src/GasTexConverter.h

aconvert2/src/TikZConverter.h

aconvert2/src/aconvert.cpp

aderivation2/src/aderivation.cpp

adeterminize2/src/adeterminize.cpp

aecho2/src/aecho.cpp

aepsilon2/src/aepsilon.cpp

agenerate2/src/agenerate.cpp

agraphbench2/src/agraphbench.cpp

aintegral2/src/aintegral.cpp

alangop2/src/alangop.cpp

alib2algo/src/arbology/exact/BadCharacterShiftTable.h