Updates why3 to 0.85 ; adds cvc4 (and its dependency libantlr3c)