2htdp/universe tests: try other port numbers

Follow-up to 268544d565: it looks like DrDr may itself use
port 9000. Try to pick numbers that no one else is thinking of...