pplite-0.7-bp157.1.3

- Update to release 0.7
  * This version also adds a C++ polymorphic interface allowing to
    experiment with several variants of the domain of convex
    polyhedra: Poly, U_Poly, F_Poly, UF_Poly and their XXX_Stats
    versions, computing timing information for abstract operators.

- Initial package (version 0.6) for build.opensuse.org