New operator: projection and inclusion testing

[MarechalAlex]

Make a new operator that, given two polyhedra A and B:

1. Computes the projection A|X on a set of variables X.
2. Checks if A|X contains B