pplite-0.11-bp160.1.10

- Update to release 0.11
  * Adds a prototype implementation of the finite powerset of Poly
    elements (PSet).
  * Provides an efficiency-improved version of the F_Poly domain.
  * The finite powerset domain is now a class template:
    pre-generated instances, include finite sets of boxed polyhedra
    (P_Set) and finite sets of Cartesian factored boxed polyhedra
    (FP_Set).
  * Added support for the integral split operator.
  * Added new method `Index_Set get_unconstrained` to polyhedra
    domains, returning the set of unconstrained space dimensions.