GiNaC 1.1.7 now available