Ederson has been Pep Guardiola's ideal goalkeeper - but the time is right for Man City to bid farewell to Brazilian amid Saudi Arabia interest