Tweaks to sorting in the autocomplete list.
Tweaks to sorting in the autocomplete list.

Put words first, so the alphabetical ordering is more discoverable
for students.  They are confused by all the symbols.  Also, case
insensitive sort is less error-prone.  Finally, sort by the actual
symbol, not the syntax of its definition.

alphalambda/codeworld,alphalambda/codeworld,google/codeworld,google/codeworld,pranjaltale16/codeworld,pranjaltale16/codeworld,pranjaltale16/codeworld,google/codeworld,alphalambda/codeworld