Add hardcore-ban-ip property for IP banning on hardcore death

This commit introduces a new server property `hardcore-ban-ip` that controls whether players who die in hardcore mode are banned by their IP address. This setting should be set to `false` for playit.gg users!

Key changes include:
- Updated `banPlayerForHardcoreDeath` in `PlayerList.cpp` to check the `hardcoreBanIp` setting and handle IP bans accordingly.
- Added `hardcore-ban-ip` to the default server properties in `ServerProperties.cpp`.
- Declared the `hardcoreBanIp` boolean variable in `ServerProperties.h` to store the property value.

These changes enhance the server's ability to enforce IP bans based on configuration settings.

Minecraft.Server/ServerProperties.h

@@ -74,6 +74,8 @@ namespace ServerRuntime
 		bool naturalRegeneration;
 		bool doDaylightCycle;
 		bool hardcore;
+		/** `hardcore-ban-ip` — whether hardcore death bans include IP bans */
+		bool hardcoreBanIp;
 
 		/** other MinecraftServer runtime settings */
 		int maxBuildHeight;