Deprecate the ghc-pkg --auto-ghci-libs flag