ProblemSubmission.submissionID is now created from an internal
auto-incrementing static variable for ease of use.
Added ProblemSubmissionInfo to mirror ProblemSubmission on the client.