Juiz que autorizou soltura de Lula foi auxiliar de Gilmar Mendes no STF