I forgot to actually the HTML file to display the diff editor. This commit adds it in. All the code to support the diff editor has already been pushed, so we just need this file.