Adds command wst_mm_delete_top_records <mapname> <number_of_records>
For example if the top times are
surf_beginner
X - 1
Y - 2.5
Z - 5
LegitPlayer - 45.6
wst_mm_delete_top_records surf_beginner 3 should delete X Y and Z's records
This won't be reflected in game until a map restart and the times are loaded again from disk by the lua timer.