Multiple users and submit improvements

Multiple users can now see different submissions, depending on which
ones they've decided to remove.

The submit area now has reduced tex formatting options, as well as a
wordcount.