Add missing CSS and image files for CodeMirror and jquery-ui.

Apparently, these never got committed. How nobody ever noticed, I cannot
even guess.