Merge jt

added 12 commits

• a2c37654...aa44494b - 10 commits from branch master
• e6cb7cd9 - allow FTA from string parsing
• f77d8d09 - intersect deterministic tree automata

Compare with previous version

added 1 commit

• a99fa9b6 - simple measurement interface in cli

Compare with previous version

I know I must be annoying but reflect this in the docs please.

added 2 commits

• 0f4a2bc6 - simplify cli parser
• c3d305ef - add example measuring script

Compare with previous version

added 1 commit

• 2a4648be - attempt to fix ubuntu docker image use

Compare with previous version

added 1 commit

• 4d7bc809 - the generated subject tree should be longer than the pattern

Compare with previous version

added 1 commit

• 5f109281 - improve ubuntu docker image fix

Compare with previous version

added 1 commit

• a58bf702 - fix the fix

Compare with previous version

added 2 commits

• d6e77b6e - the generated subject tree should be longer than the pattern
• b442ae15 - attempt to fix ubuntu docker image use

Compare with previous version

added 1 commit

• d24439db - fix ubuntu docker image use

Compare with previous version

added 1 commit

• 34bed295 - fix ubuntu docker image use

Compare with previous version

added 1 commit

• 5cce7e7b - CI: Debian uses noninteractive frontend

Compare with previous version

added 1 commit

• 3d5a7c7a - fix multiple definitions

Compare with previous version

added 1 commit

• 6040c862 - fix readline version

Compare with previous version

added 1 commit

• 05b6b917 - CI: Build on 8 cores

Compare with previous version

merged