Joaquim fica no STF mas desiste do TSE; Lewandowski presidirá eleições