Removed useless resources

src/main/resources/application.conf

src/main/resources/leon/scalac-plugin.xml

src/main/resources/slf4j-impl-helper

...rces/regression/frontends/error/simple/ArrayEquals1.scala

...rces/regression/frontends/error/simple/ArrayEquals2.scala

...ces/regression/frontends/error/simple/ConvertBigInt.scala

...urces/regression/frontends/error/simple/InstanceOf1.scala

...ces/regression/frontends/error/simple/LiteralBigInt.scala

...sources/regression/frontends/error/simple/NotEquals.scala

.../resources/regression/frontends/passing/ClassFields.scala

src/test/resources/regression/frontends/passing/Fields.scala

...resources/regression/frontends/passing/ImplicitDefs.scala

...esources/regression/frontends/passing/ImplicitDefs2.scala

...st/resources/regression/frontends/passing/Operators.scala

...st/resources/regression/frontends/passing/OptParams.scala

...st/resources/regression/frontends/passing/Overrides.scala

...t/resources/regression/frontends/passing/bigintExtr.scala

src/test/resources/regression/genc/invalid/AbsFun.scala

...test/resources/regression/genc/invalid/LinearSearch.scala

...t/resources/regression/genc/unverified/BinarySearch.scala