checkout: report where the new HEAD is upon detaching HEAD