Kevin B. Gunn, new City of Denton Director of Technology Services