Make the dashboard filter bar ignore case

[donnex]

The new repository filter bar implemented in 1.1 is really great but it would be really handy if this bar filtered repos by ignoring case. Right now it seems that you need to match the exact casing on your repositories names if you want a match.

[lunny]

@appleboy maybe you can do this.

[appleboy]

@donnex @lunny I will take it.

[appleboy]

https://try.gitea.io/appleboy?q=xd I think this bar filtered repos by ignoring case.

[pgaskin]

I will do this, my fix also fixes my other bug #1205 .

[pgaskin]

I have opened PR #1207