Add implies from typed-racket-lib to unstable-contract-lib.

Typed Racket, as of 8ea8c54eb, can add explicit require lines
to the expanded module, which can confuse the dependency
analyzer. An explicit implies declaration avoids the problem,
although I'm not sure that this is the right solution.

pkgs/typed-racket-pkgs/typed-racket-lib/info.rkt

@@ -11,9 +11,13 @@
                "compatibility-lib" ;; to assign types
                "string-constants-lib"))
 
+;; This is needed since the expansion of TR
+;; can insert `(require unstable/contract)` into
+;; the expanded code.
+(define implies '("unstable-contract-lib"))
 
 (define pkg-desc "implementation (no documentation) part of \"typed-racket\"")
 
 (define pkg-authors '(samth stamourv))
 
-(define version "1.1")
+(define version "1.1")