Initial check-in: Z3, apron, buddy, deriving, gmp