An overview of the Dolphin Emulator development infrastructure