Convert UI to ReactJS

The UI should look almost identical to how it did before, but with a couple fewer bugs and a few more features.

The main new feature is that webdiff now shows the full list of files, which can be collapsed to a dropdown if desired.
yea, seems like there's a few opportunities to demarcate the python -> JS transition that we're not availing ourselves of, and other cases of mixing the cases