Added CodeMirror to main.html and changed step-trace dependency location to my github.