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...

pkgs/htdp-pkgs/htdp-test/2htdp/tests/name.rkt

@@ -12,7 +12,7 @@
 (define c (make-custodian))
 
 ;; Distinct from other tests:
-(define PORT-NO 9006)
+(define PORT-NO 19206)
 
 (define-values (_ n)
   (parameterize ((current-custodian c))

pkgs/htdp-pkgs/htdp-test/2htdp/tests/on-tick-universe-with-limit.rkt

@@ -7,4 +7,4 @@
           (on-msg (lambda (w sender msg) (make-bundle w '() '())))
           (on-new cons)
           ;; Distinct from other tests:
-          (port 9000))
+          (port 19207))

pkgs/htdp-pkgs/htdp-test/2htdp/tests/server-rename.rkt

@@ -7,4 +7,4 @@
     (uni:on-msg list)
     (uni:on-tick add1)
     ;; Distinct from other tests:
-    (uni:port 9004)))
+    (uni:port 19204)))

pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt

@@ -4,7 +4,7 @@
   (require 2htdp/universe 2htdp/image)
   
   ;; Distinct from other tests:
-  (define PORT-NO 9003)
+  (define PORT-NO 19203)
 
   (struct s (t) #:prefab)
 

pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-receive.rkt

@@ -5,7 +5,7 @@
 (require 2htdp/image)
 
 ;; Distinct from other tests:
-(define PORT-NO 9002)
+(define PORT-NO 19202)
 
 ;; Nat Nat ->* World1 World2 [Listof IWorld]
 ;; launch a sending world, a receiving world, and a connecting universe

pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-restart.rkt

@@ -4,7 +4,7 @@
   (require 2htdp/universe 2htdp/image)
 
   ;; Distinct from other tests:
-  (define PORT-NO 9001)
+  (define PORT-NO 19201)
 
   (define (u)
     (universe 0
@@ -30,7 +30,7 @@
   (require 2htdp/universe 2htdp/image)
   
   ;; Distinct from other tests:
-  (define PORT-NO 9005)
+  (define PORT-NO 19205)
 
   (define *world* #false)