You want the "Coin Doubler" board from twobits.com
Scroll down all the way to the bottom of the page and you'll see it. It's only $25 and it can be moved from machine to machine if desired. It just plugs in. One trip of the coin switch sends out two pulses thus producing 25 cent play.