[GiNaC-list] Release of GiNaC 1.3.7