Eldarica 2.0.3

This version mostly has changes in the underlying interpolation and decision procedure, Princess. In Eldarica itself, the handling of algebraic data-types has been improved, there is now an ADT pre-processor that should lead to problems with recursive data-types being solved more efficiently.