Shutting a failing startup down early is braver than grinding on for years.