Filter submissions by language before generating rankings (#1628)
Filter submissions by language before generating rankings (#1628)

This shows a user's best submission in the filtered language(s) even if
it is not the user's personal best. This fixes #1616.
DMOJ/site,DMOJ/site,DMOJ/site,DMOJ/site