If server_id not in config, generate it from server name

We use a custom random.Random() object that is seeded with self.name, so it runs the same every time.