add Tom Tromey to ACKS
merge 3.3
merge heads