Add a new `extra-dispatcher-file' configuration option.#15

elibarzilay wants to merge 1 commit intoracket:masterracket/handin:masterfrom

elibarzilay:extra-dispatcher-fileelibarzilay/handin:extra-dispatcher-fileCopy head branch name to clipboard