Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version)