Saint-Sernin de Toulouse, Porte des Comtes