Netid search is case-sensitive

Summary

Searching by netids is case-sensitive.

This is slightly annoying, because now you can't blindly copy-paste a student's surname into the search box and hope it matches their netid (which it usually does).

Steps to Reproduce

1. Search using "Ee": https://submit.tudelft.nl/assignment/1067/submissions?latest=false&q=Ee
   This yields no results.
2. Search using "ee": https://submit.tudelft.nl/assignment/1067/submissions?latest=false&q=ee
   This yields some results.

Possible Fix

Apply case folding to the query.

Logs

N/A