How do I add an HTML tag to the formatting drop-down in the rich text editor?
Might formattingAdd be something you can use for this? Not tested, just a quick look at Redactor's options page.

formattingAdd: [
    {
        tag: 'code',
        title: 'Code'
    }
]