Fix codemirror double scrollball problem (Andrew **is** cool)
Maintain WORKSPACE state with cookies (Fix #92)