Activate "-p X" option for minizinc: enables parallele resolutions

- /!\: the main entry point is not ParseAndSolve anymore but ChocoFZN