[extraKey] allow for multiple key combinations...

...for 1 function.

Example:

````javascript

extraKeys: {
  "Ctrl-1 Ctrl-2 Ctrl-3": function(cm) {
    //do something here
  }
}
````