* [feat] added Spring approximations

* [feat] updated USVM API

* [feat] implemented encoders

* [feat] added approximation for LogFactory

* [feat] updated JDK version

* [feat] updated usvm-api

* [fix] fixed approximations

* [feat] added 'warning as error'

* [fix] added 'typeIs' check for 'equals'

- added 'typeIs' function into Engine
- fixed 'equals' methods to use 'typeIs'

* updated jacodb version

* [fix] implemented adding all elements via internal copy

- implemented List.addAll via SymbolicList.copy
- implemented Map.addAll and Set.addAll via SymbolicMap.union

* [feat] added Map.Entry encoder

* [feat] added 'Log' interface approximation

- disabled logging by default

* [fix] deleted 'PrimitiveTypeUtils'

* [fix] fixed decoders

* [fix] fixed System_PrintStream

* [fix] fixed 'System' approximation

* [fix] fixed spliterator approximation

* [fix] fixed 'AtomicBoolean' approximation

* [fix] fixed 'Log' approximation

* [fix] fixed approximations

* [fix] deleted spring dependencies

…tor (#17)

* [fix] fixed approximations

* [chore] updated jacodb version

* [fix] fixed `String` approximation

- assuming small length if string is symbolic

* [todo] added todo's

* [fix] fixed string equality

* [fix] added `arrayEquals` description

Signed-off-by: Старцев Матвей <tozarin@yandex.ru>

* [fix] fixed `Map.Container`

- added assumes

* [fix] fixed `Throwable` approximation

---------

Co-authored-by: MchKosticyn <mishakosticyn@yandex.ru>