Mypy-play.net keyboard shortcut

Allow ctrl-enter to be shortcut for "Run" on mypy-play.net