João de Deus, treinador do Gil Vicente