Apply 2016 licence

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

library/math/package.scala

library/monads/state/State.scala