Re-tweak the sandbox policy file to do a better job of improving its performance [See comment on previous commit by sandbox author LIU Yu.]
Merge branch 'master' of github.com:trampgeek/CodeRunner
Merge LIU Yu's sandbox policy fixes into trunk (fix typo in SYS_exit_group). Turn off spell checking in submission textarea (HTML5 spellcheck attribute).