Modularize code

[rzach]

The HTML now has the code for generating problems hard-coded into it. Move those into a .js file so one can more easily add a proof editor box to a webpage, e.g., from code generated by the "make a new problem" function in the main page, saved to a file as per #3