Revert "Remove vanuatoo"

src/main/scala/leon/codegen/CodeGenParams.scala

src/main/scala/leon/datagen/VanuatooDataGen.scala

src/main/scala/leon/solvers/EnumerationSolver.scala

src/main/scala/leon/synthesis/SynthesisPhase.scala

src/main/scala/leon/synthesis/SynthesisSettings.scala

src/main/scala/leon/synthesis/rules/CEGISLike.scala

src/main/scala/leon/synthesis/rules/unused/TEGISLike.scala

src/main/scala/root-doc.txt

src/sphinx/installation.rst

src/sphinx/options.rst

...a/leon/integration/evaluators/CodegenEvaluatorSuite.scala

unmanaged/64/vanuatoo_2.11-0.1.jar