Merge branch 'leon2' into tuple-patmatch

.gitignore

mytest/Abs.scala

mytest/Add.scala

mytest/Assign1.scala

mytest/BinarySearch.scala

mytest/Bubble.scala

mytest/BubbleFun.scala

mytest/BubbleWeakInvariant.scala

mytest/Capture.scala

mytest/IfExpr1.scala

mytest/LinearSearch.scala

mytest/Match.scala

mytest/MaxSum.scala

mytest/Mult.scala

mytest/MyTuple1.scala

mytest/MyTuple2.scala

mytest/MyTupleWrong.scala

mytest/NAryOp.scala

mytest/Plus.scala

mytest/ValSideEffect.scala