John Carmack, Tom Hall