Add Ctrl+Enter to editor help
Add Ctrl+Enter to editor help

Also, fix inconsistent case.

Fixes #740
alphalambda/codeworld,pranjaltale16/codeworld,alphalambda/codeworld,google/codeworld,pranjaltale16/codeworld,google/codeworld,alphalambda/codeworld,google/codeworld,pranjaltale16/codeworld