FC Porto vence Gil Vicente pela margem mínima, soma nona vitória seguida na Liga e reforça liderança