Minor, turn on SHOWDETAILS=streaming because we are using cabal 1.20 now
minor: Remove unneeded imports.  Add comment.
jenkins script: respond to CABAL_FLAGS if available over the 1-2-3 variants