v2.0.4

Requires CArL with branch master14 or a carl version between 17.12 and 18.08

• Extended conversion of number types to formulae
• (minor) changed constant_part to function for Polynomial
• (minor) added an additional operator on polynomials
• Fix for compilation with Xcode 11