ginac: switch from autotools to cmake