Allow multiple alternative keybindings for an action.

In JSON this is implemented simply by allowing several definitions of the same action. That way, you can freely intermix keyboard and gamepad events without hassle.