Renamed Henkin to Partial (makes more sense)

...leon/codegen/runtime/LeonCodeGenRuntimeHenkinMonitor.java

src/main/scala/leon/codegen/CodeGeneration.scala

src/main/scala/leon/codegen/CompilationUnit.scala

src/main/scala/leon/codegen/runtime/Monitor.scala

src/main/scala/leon/evaluators/ContextualEvaluator.scala

src/main/scala/leon/evaluators/RecursiveEvaluator.scala

src/main/scala/leon/evaluators/StreamEvaluator.scala

src/main/scala/leon/purescala/Quantification.scala

src/main/scala/leon/purescala/SelfPrettyPrinter.scala

src/main/scala/leon/solvers/Model.scala

src/main/scala/leon/solvers/QuantificationSolver.scala

...main/scala/leon/solvers/combinators/UnrollingSolver.scala

...cala/leon/solvers/combinators/Z3StringCapableSolver.scala

src/main/scala/leon/solvers/z3/Z3StringConversion.scala

src/main/scala/leon/verification/VerificationReport.scala