Workaround for analyzing properties in appropriate dimension

[schillic]

This is a workaround until #521 gets in.

The branch is based on #523.

[mforets]

For the record i have tried it and this idea works; the workaround is to provide the property in the reduced dimension (for example if n=48 and :vars => [25] then a linear constraint property is defined in one spatial dimension.

While in #525 we keep the property in high dimensions and call LazySets project method to do the "concrete projection". Note that if the concrete projection happens to not be implemented then it will throw an error. Hence, only halfspace and hpolyhedron sets are supported in the properties, at the moment.