Add student number to User object

In this merge request, the student number is added to the user object in the code. Moreover, it is assumed that student_number is a column of the User table in the database.

In order to update the database, use the following script:

ALTER TABLE User ADD COLUMN student_number int NULL;