Use full names to match against --functions. Display qualified names.

doc/options.rst

src/main/scala/leon/LeonOption.scala

src/main/scala/leon/evaluators/EvaluationPhase.scala

src/main/scala/leon/purescala/DefOps.scala

src/main/scala/leon/purescala/Definitions.scala

src/main/scala/leon/repair/RepairPhase.scala

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

src/main/scala/leon/termination/TerminationPhase.scala

src/main/scala/leon/verification/AnalysisPhase.scala

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

src/main/scala/leon/xlang/FixReportLabels.scala