[GiNaC-list] GiNaC 1.8.7 released