github username with uppercase are not accepted in idrange-file

[dalito]

The validation is too strict. It turns out that GitHub usernames may include uppercase letters (nfdi4cat/voc4cat#41); the usernames are however case-insensitive in comparisons. We need to adapt the regex for validation.