Deakstadieđáhus: The antitriangular factorization of saddle point matrices