Renamed array->clj-list to array->clj-seq and added BUG report
Several binary MiniZinc constraint now support arbitrary number of args
Renamed example file