Fixing up defaults

src/main/isabelle/.gitignore

src/main/isabelle/Leon.thy

src/main/isabelle/Leon_Library.thy

src/main/isabelle/Leon_Ops.thy

src/main/isabelle/ROOT

src/main/isabelle/leon_syntax.ML

src/main/isabelle/stateful_ops.ML

src/main/isabelle/stateless_ops.ML

src/main/isabelle/tactics.ML

src/main/isabelle/util.ML

src/main/scala/inox/InoxContext.scala

src/main/scala/inox/ast/Constructors.scala

src/main/scala/inox/evaluators/Evaluator.scala

src/main/scala/inox/evaluators/RecursiveEvaluator.scala

src/main/scala/inox/evaluators/SolvingEvaluator.scala

src/main/scala/inox/solvers/Solver.scala

src/main/scala/inox/solvers/smtlib/CVC4Target.scala

src/main/scala/inox/solvers/unrolling/UnrollingSolver.scala