There's no point having both 'interrupt' and 'mark-interrupt', as it only
ever makes sense to use one or the other depending on the current timer
state. Merge them into a single command (interrupt), and for compatibility
bind both 'R' and 'r' to that command.