Update copyright notices

library/annotation/package.scala

library/collection/List.scala

library/collection/Option.scala

library/lang/package.scala

library/lang/string/String.scala

library/lang/string/package.scala

library/lang/synthesis/Oracle.scala

library/lang/synthesis/package.scala

library/lang/xlang/package.scala

scripts/applyLicense.sh

src/main/java/leon/codegen/runtime/ArrayBox.java

src/main/java/leon/codegen/runtime/BigInt.java

src/main/java/leon/codegen/runtime/CaseClass.java

src/main/java/leon/codegen/runtime/FiniteLambda.java

src/main/java/leon/codegen/runtime/Lambda.java

.../leon/codegen/runtime/LeonCodeGenEvaluationException.java

...ava/leon/codegen/runtime/LeonCodeGenRuntimeException.java

.../java/leon/codegen/runtime/LeonCodeGenRuntimeHashing.java

.../java/leon/codegen/runtime/LeonCodeGenRuntimeMonitor.java

src/main/java/leon/codegen/runtime/Map.java