Ore extensions and infinite triangularization