added getKnownPlayers to Server, tweaked a few commands, dropped a few commands that vanilla does just fine, fix level for logNotice