Pass solve version and constraint types to dep-selector
Install gecode on travis so dep-selector can work