Fixes #67. * src/tgba/tgba.cc, src/tgba/tgba.hh: Here. * src/tgbaalgos/complete.cc, src/tgbaalgos/stripacc.cc: Use it.