Fix warnings.
Report version in jacop solver message. Bump versions of gecode, jacop and ilogcp.
Update redirection page for jacop.