Adds Dolphin support for custom controls. (#7)

Dolphin will now set its control scheme based on the contents of
controls.txt. Also adds the 'Device' option, which is in Dolphin's
configuration file (and I believe is important), but I don't know what
the value will be in the general case