New: Drag-and-drop sorting of repos

Repos can now be sorted on the dashboard using drag-and-drop:

The sort order will persist for all users of the account. (Only admins can sort.)