Include code mirror at index.html.