document --progress and the new ^C-emits-GinkgoWriter behavior