Make student number unique

Thom Wiggers
2018-11-05T20:17:21+01:00

Related to #691

### Short description

Make sure duplicates can't happen again by adding a constraint.