Make the LeanAuto prover use classical reasoning#1017

atomb merged 2 commits intoboogie-org:masterboogie-org/boogie:masterfrom

atomb:lean-auto-classicalatomb/boogie:lean-auto-classicalCopy head branch name to clipboard