Detect language from CodeMirror value, not React prop

[stuhlmueller]

A code box that looks like this should be evaluated as Javascript:

// language: javascript

...

[longouyang]

Summarizing a Slack conversation: in dippl, we set the React property based on the initial value of the codebox so that // language: javascript boxes do work there; this is therefore lower priority.