isl_scheduler.c: fix documentation of inter_dim_map and callers
isl_scheduler.c: fix documentation of inter_dim_map and callers

In particular, the generic form of the valid constraints has separate
c_x and c_y coefficients and the coefficients for the variables of
the two nodes are plugged in for c_x and c_y separately (with the appropriate
sign).  It is not clear why the original documentation tries
to plug in a difference between these coefficients, but the mistake
was already introduced in 1192654 (add isl_union_set_compute_schedule,
Sat Mar 19 14:47:47 2011 +0100).

The documentation of add_inter_proximity_constraints had a further mistake
introduced in 2a66550 (isl_schedule_constraints: add support for conditional
validity constraints, Sat Mar 24 12:09:09 2012 +0100).
In particular, the sign was only changed in part of an equation.
Fix the signs and add a clarification that when local is set, the sign "s"
is equal to 1.

Signed-off-by: Sven Verdoolaege <e5350bbed4977f5eb8ae1dc6abd9ae59d21ace75@kotnet.org>

nicolasvasilache/isl,PollyLabs/isl,Meinersbur/isl,Meinersbur/isl,Meinersbur/isl,nicolasvasilache/isl,nicolasvasilache/isl,PollyLabs/isl,inducer/isl-mirror,nicolasvasilache/isl,inducer/isl-mirror,PollyLabs/isl,PollyLabs/isl,PollyLabs/isl,inducer/isl-mirror,inducer/isl-mirror,Meinersbur/isl,tobig/isl,tobig/isl,tobig/isl,inducer/isl-mirror,nicolasvasilache/isl,tobig/isl