Extraction as a top-level command in the frontend for the new backend#571

FTRobbin merged 33 commits intobackend-mergeegraphs-good/egglog:backend-mergefrom

no_action_extractionegraphs-good/egglog:no_action_extractionCopy head branch name to clipboard