Support for Semgus 2.2.0

[bmaderbacher]

The benchmarks in Semgus-Benchmarks seem to use the newer 2.2 (or 2.1.1?) format. However, the published version of this tool is not able to parse them.

I have tried the binary as well as the public branches they all produce either an compile error or an exception.
main and binary: the parser still expects the selectors that where removed in version 2.1.1.
wiley/intervals: exception System.InvalidOperationException: Failed to get sort for literal: String at Semgus.Model.Smt.Terms.SmtLiteral.GetSortOrDie(SmtContext ctx, SmtSortIdentifier name) in [...]/Semgus-Operational/Semgus-Parser/Semgus-Lib/Model/Smt/Terms/SmtLiteral.cs:line 33
rahul/smt: build error [...]/Semgus-Operational/Semgus-Interpreter/Semgus-Solvers-CLI/ParseUtil.cs(39,48): error CS1501: No overload for method 'ProcessProductions' takes 3 arguments [[...]/Semgus-Operational/Semgus-Interpreter/Semgus-Solvers-CLI/CommandLineInterface.csproj]

I'm using Ubuntu 22.04 with dotnet 6.0.111. The examples I tried are mul-by-while.sl and max2-exp.sl.

Thank you for any help you can provide to get these examples to run.

[kjcjohnson]

@rahulk64 - were you working on updating this tooling to the latest format version?