Ban IP command
This adds an command to ban the IP of an player, regardless if they are in the server or not. This also makes some tweaks to the original command so it saves the banned IP addresses to file immediately.
can you merge this with
nextso the buildbot can see if this still builds with NONET?