AI server: player names now use std::string (like every other name). No longer care about inconsistent player health data (assume it's fine, if it's not it's something we need to fix... not workaround.)