Initial import of the MiniZinc benchmark suite.
(This was the verison from Opturion, which was more up-to-date
than the last official NICTA version.)