Change full-screen button to an icon, embedded in the upper right of the codemirror editor.

Tweak its behavior to also exit full-screen mode on evaluation.