Echo the command for downloading the GHC source.