Strings support, fix printing of method calls

- Introduce Leon strings (smt-based solvers only)
  Available in leon.lang.string._

- Print method calls properly, specialize binary ops
Complete support for strings in evaluator/simplestValue