Add user get, update and delete endpoint

In this merge request, the REST API is extended to include both a GET request for a specific user ID, as well as an UPDATE request, through which the t-shirt size and gender can be updated. Lastly, the endpoint is added which is able to delete an user.