Add a minimizing solver for smaller counter-examples#176

SolalPirelli wants to merge 2 commits intoepfl-lara:scala-2.13epfl-lara/inox:scala-2.13from

SolalPirelli:sp/minimizerSolalPirelli/inox:sp/minimizerCopy head branch name to clipboard