MaxTiC: fast ranking of a phylogenetic tree by maximum time consistency with lateral gene transfers