Rename Leader to Administrator

Ideally we'll have more support for custom ranks on side servers,
but for now you'll have to deal with & and ~ having the same label,
if you still use ~.

js/client.js

@@ -2413,7 +2413,7 @@ function toId() {
 			order: 10001
 		},
 		'&': {
-			name: "Leader (&)",
+			name: "Administrator (&)",
 			type: 'leadership',
 			order: 10002
 		},

src/client-main.ts

@@ -312,7 +312,7 @@ class PSServer {
 			order: 101,
 		},
 		'&': {
-			name: "Leader (&)",
+			name: "Administrator (&)",
 			type: 'leadership',
 			order: 102,
 		},