Preventing basement flooding with gutter diverters