gr: implement better server name matching

The server listing can return the results in a different case than what
was stored in the .gr-name file.  Take this into account, and require a
full match.