Merge branch 'master' of https://github.com/epfl-lara/leon into orb

CHANGELOG.md

build.sbt

library/annotation/isabelle.scala

library/annotation/package.scala

library/collection/List.scala

library/collection/package.scala

library/instrumentation/package.scala

library/invariant/package.scala

library/lang/Dummy.scala

library/lang/Either.scala

library/lang/Map.scala

library/lang/Option.scala

library/lang/Rational.scala

library/lang/Real.scala

library/lang/Set.scala

library/lang/StrOps.scala

library/lang/package.scala

library/lang/synthesis/Oracle.scala

library/lang/synthesis/package.scala

library/lang/xlang/package.scala