Would be nice if `curl` had something to dump headers to a third file descriptor while outputting the response on stdout.