QuerySMT

Update Duper and Lean-auto

Merge pull request #9 from srghma/toml

feat: use lakefile.toml, move tests into separate dir

Move code from Lean-auto into QuerySMT/AutoExtension

Add note to README