Merge branch 'master' into sat

PERMISSIONS

demo/Arith.scala

demo/BubbleSortBug.scala

demo/List.scala

demo/ListOperations.scala

demo/MaxSum.scala

demo/RedBlackTree.scala

run-demo

run-demo-testgen

run-tests.sh

src/main/scala/leon/Analysis.scala

src/main/scala/leon/Annotations.scala

src/main/scala/leon/ArrayTransformation.scala

src/main/scala/leon/DefaultTactic.scala

src/main/scala/leon/Evaluator.scala

src/main/scala/leon/Extensions.scala

src/main/scala/leon/FairZ3Solver.scala

src/main/scala/leon/FunctionClosure.scala

src/main/scala/leon/ImperativeCodeElimination.scala

src/main/scala/leon/Main.scala