Efficient way to get `User` from a user id

[Luro02]

Ideally Artemis would expose an endpoint for this, or one could implement some kind of cache in Artemis4J that lazily loads the users from the submissions/assessments.