MiniZinc: added a lot of data files for jobshop.mzn and jobshop2.mzn (converted from Google or-tools SVN repo data/jobshop)