Release 1.3.7 - Various

UserIDs are now definitely unique.
ProblemSetIDs partially unique, working on completely.
Tracking login times and problem set attempt times (either on completion
or logout).
Scoring for reports works.
Working on better report format.