Add virtual destructor to ATNState.

Virtual destructor required to make abstract classes happy.