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.