This fixes the bug revealed in the previous commit so that the test
suite now passes once again.
The server now doesn't apy attention to the capitalization that a
client happens to use when providing a judging submission, but will
treat things as equivalent regardless of case differences.