Numerous little changes.

* Add request.users reified property
* Project settings can specify a list of plugins now
* plugin exception traceback is hidden and a user-friendly message appears
* Remove sha1sum from the display
* Class name is not listed in selection if the user is only in a single class
* Download file uses the project name rather than "file.ext"
* Submission view page clearly shows the project name