Add djinn-lib and djinn-ghc