Yay, this has been merged into the RetroPie project. :)
Daphne laserdisc game emulator (http://www.daphne-emu.com/), patched to facilitate building and running on Raspberry Pi