Add Theorem create view. Fixes #1

Some javascript niceness would be helpful, but we'll count that as part
of #3.