Build Leon for Scala 2.11
Fix the Travis Build for Scala 2.11
well well well
Extract tests from specification: passes(in,out)(Map(1 -> 2))
New list operations

List:
  slice(from: Int, to: Int): List[T]
  replace(from: T, to: T): List[T]
  chunks(s: Int): List[List[T]]
  zip[B](that: List[B]): List[(T, B)]
  -(e: T): List[T]
  --(that: List[T]): List[T]
  &(that: List[T]): List[T]
  pad(s: Int, e: T): List[T]
  find(e: T): Option[Int]
  lastOption: Option[T]
  firstOption: Option[T]
  unique: List[T]
  splitAt(e: T): List[List[T]]
  split(seps: List[T]): List[List[T]]
  count(e: T): Int
  evenSplit: (List[T], List[T])
  insertAt(pos: Int, l: List[T]): List[T]
  replaceAt(pos: Int, l: List[T]): List[T]
  rotate(s: Int): List[T]

ListOps:
  flatten[T](ls: List[List[T]]): List[T]
Fix ordering bug, fix test options
more xlang max sum testcases
Base for canBeSubtypeOf
Hide passes from results, but include it in leon as it is purescala
Improve naming and description of VCs
Add ??? as function-scope holes, convert them to oracles
Fix IfSplit
Add back a few tests about Holes
Add isSorted/sorted to ListOps for Lists of ints
Add List.init
Organize testcases
Use the name instead of the case-object name
Remove Let/LetTuple madness, rely on constructors
Fix choose not returning a stable type, add constructor to help
Add some simple examples of synthesis from examples, with holes