MiniZinc: added movement_puzzle.mzn, Picat: added movement_puzzle.pi