Convert UI to Bootstrap

I converted the UI to Bootstrap, got rid of all that jQuery mess, and redid the frontend JS.

Fixes #14.