Walsh appointed manager of Kilkenny City