add exercise for section 11.5 zcompare

[Anniepoo]

create a constraint same_side_of_line that takes 8 arguments. The first two are points on a line, the next two are two points. The predicate succeds if both are on the same side of the line, or both are on hte line, the constraint holds.

[Anniepoo]

fixed