Add /nick and /setnick commands. /setnick is OP only and allows server operators to set a players nickname. Closes #3
Minor change to ServerToolsCommand to generate requiredPermissionLevel from getRequiredLevel