MiniZinc: added moving_coins.mzn, fixed stamp_licking.mzn