Consistent capitalization for "GRacket".
Remove binary file that was added by mistake.