Toby Hall's C++ program for computing train tracks of surface homeomorphisms