Scripts and configurations for the Dolphin Emulator infrastructure