MkString functions for List, Bag, Map, Set.

library/leon/collection/List.scala

library/leon/lang/Bag.scala

library/leon/lang/Map.scala

library/leon/lang/Set.scala

src/main/scala/leon/evaluators/AbstractEvaluator.scala

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

src/main/scala/leon/purescala/PrettyPrinter.scala

src/main/scala/leon/purescala/ScalaPrinter.scala

src/main/scala/leon/purescala/TypeOps.scala

src/main/scala/leon/utils/Library.scala