Introduce u32_to_ip to make the serializing a bit more consistent.
Replace the server port as well.
Document LoginProtocol.py.