Adding supports for analyzing selected functions in Orb

.gitignore

...a/leon/invariant/engine/CompositionalTemplateSolver.scala

src/main/scala/leon/invariant/engine/ConstraintTracker.scala

...in/scala/leon/invariant/engine/InferInvariantsPhase.scala

src/main/scala/leon/invariant/engine/InferenceContext.scala

src/main/scala/leon/invariant/engine/InferenceEngine.scala

src/main/scala/leon/invariant/engine/InferenceReport.scala

src/main/scala/leon/invariant/engine/RefinementEngine.scala

src/main/scala/leon/invariant/engine/SpecInstatiator.scala

...main/scala/leon/invariant/engine/TemplateEnumerator.scala

...scala/leon/invariant/engine/UnfoldingTemplateSolver.scala

...cala/leon/invariant/factories/TemplateSolverFactory.scala

...in/scala/leon/invariant/templateSolvers/CegisSolver.scala

...la/leon/invariant/templateSolvers/FarkasLemmaSolver.scala

...ala/leon/invariant/templateSolvers/NLTemplateSolver.scala

.../invariant/templateSolvers/NLTemplateSolverWithMult.scala

...scala/leon/invariant/templateSolvers/TemplateSolver.scala

src/main/scala/leon/invariant/util/Minimizer.scala

src/main/scala/leon/invariant/util/Util.scala