Re-enable scalafix/scalafmt, re-format everything

build.sbt

lisa-examples/src/main/scala/Example.scala

...rnel/src/main/scala/lisa/kernel/proof/RunningTheory.scala

...nel/src/main/scala/lisa/kernel/proof/SCProofChecker.scala

.../src/main/scala/lisa/settheory/SetTheoryDefinitions.scala

...ies/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala

...ies/src/main/scala/lisa/settheory/SetTheoryZFAxioms.scala

lisa-tptp/src/main/scala/lisa/tptp/KernelParser.scala

lisa-tptp/src/main/scala/lisa/tptp/ProblemGatherer.scala

lisa-utils/src/main/scala/lisa/utils/KernelHelpers.scala

lisa-utils/src/main/scala/lisa/utils/Library.scala

lisa-utils/src/main/scala/lisa/utils/TheoriesHelpers.scala

.../src/test/scala/lisa/kernel/EquivalenceCheckerTests.scala

lisa-utils/src/test/scala/lisa/kernel/FolTests.scala

lisa-utils/src/test/scala/lisa/kernel/ProofTests.scala

lisa-utils/src/test/scala/lisa/test/ProofCheckerSuite.scala

lisa-utils/src/test/scala/lisa/utils/PrinterTest.scala

src/main/scala/lisa/proven/tactics/ProofTactics.scala

...scala/lisa/proven/tactics/SimplePropositionalSolver.scala

src/test/scala/lisa/proven/InitialProofsTests.scala