Hostname of the Astrée Server, specified as hostname:port.
E.g. localhost:36000.