Elevador do Lavra, Ascensor do Lavra (nome próprio)